[Bug build/14678] GDB 7.5 fails to build unless makeinfo is installed

["vries at gcc dot gnu.org" <sourceware-bugzilla@sourceware.org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=14678

--- Comment #16 from Tom de Vries <vries at gcc dot gnu.org> ---
(In reply to nfall from comment #15)
> This bug appears to still be occuring in gdb 12.1.

I'm aware of two separate problems with the same symptom:
- not being able to build gdb from a snapshot or release tarball without
  makeinfo
- not being able to build gdb from the repository without makeinfo

[ It's a bit unfortunate that PRs reporting both problems have been marked as
duplicate of this PR. ]

The first is gdb-specific, the second is due to top-level configure.

AFAICT, comment 0 reports the first problem, and comment 15 the second.

The first one has been fixed in aforementioned commit.  I've just confirmed
that downloading the gdb 12.1 tarball and doing configure
MAKEINFO=/usr/bin/false and make all-gdb gets me a complete build.

I'm working on fixing the second, I'm in the process of upstreaming a patch at
gcc-patches (
https://gcc.gnu.org/pipermail/gcc-patches/2022-October/602797.html ).

[ FWIW, I have a workaround submitted here
https://sourceware.org/pipermail/gdb-patches/2022-September/191642.html if
you're looking for something less intrusive.  Note also that this should work:
./configure; make MAKEINFO=/usr/bin/true, it's just a bit cumbersome to have to
remember to do this for each make invocation. ]

-- 
You are receiving this mail because:
You are on the CC list for the bug.