GNU bug report logs - #39974
Guile fails to build without makeinfo

Previous Next

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Fabrice Fontaine <fontaine.fabrice <at> gmail.com>
Cc: 39974 <at> debbugs.gnu.org
Subject: bug#39974: Guile fails to build without makeinfo
Date: Sun, 08 Mar 2020 12:09:59 +0100

Hello,

Fabrice Fontaine <fontaine.fabrice <at> gmail.com> skribis:

> Le sam. 7 mars 2020 à 21:40, Ludovic Courtès <ludo <at> gnu.org> a écrit :

[...]

>> > Yes, this build failure is raised by one of our buidlroot autobuilders.
>> > We're running autoreconf as we have a patch that updates configure.ac:
>>
>> OK.  From Guile’s perspective, it’s not a bug that ‘makeinfo’ is needed
>> in this case.
> OK, then instead of this patch, do you think that adding a
> --disable-doc option could be acceptable?

No because again, when building from a tarball, ‘makeinfo’ is not needed
(the Info files are included in the tarball).  I hope that makes sense!

Thanks,
Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.