GNU bug report logs - #21974
can't build guix without 'makeinfo'

Previous Next

Package: guix;

Reported by: Jan Synáček <jan.synacek <at> gmail.com>

Date: Sat, 21 Nov 2015 20:20:04 UTC

Severity: normal

Done: ludo <at> gnu.org (Ludovic Courtès)

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 21974 in the body.
You can then email your comments to 21974 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-guix <at> gnu.org:
bug#21974; Package guix. (Sat, 21 Nov 2015 20:20:06 GMT) Full text and rfc822 format available.

Acknowledgement sent to Jan Synáček <jan.synacek <at> gmail.com>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Sat, 21 Nov 2015 20:20:07 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Jan Synáček <jan.synacek <at> gmail.com>
To: bug-guix <at> gnu.org
Subject: can't build guix without 'makeinfo'
Date: Sat, 21 Nov 2015 21:19:18 +0100
The build fails with an error if the 'makeinfo' binary is missing on
the system. The configure script should check for 'makeinfo' and fail
if not found (or maybe warn that the docs won't be built?).

-- 
Jan Synáček




Information forwarded to bug-guix <at> gnu.org:
bug#21974; Package guix. (Sat, 21 Nov 2015 20:42:02 GMT) Full text and rfc822 format available.

Message #8 received at 21974 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Jan Synáček <jan.synacek <at> gmail.com>
Cc: 21974 <at> debbugs.gnu.org
Subject: Re: bug#21974: can't build guix without 'makeinfo'
Date: Sat, 21 Nov 2015 21:40:40 +0100
Jan Synáček <jan.synacek <at> gmail.com> skribis:

> The build fails with an error if the 'makeinfo' binary is missing on
> the system. The configure script should check for 'makeinfo' and fail
> if not found (or maybe warn that the docs won't be built?).

‘makeinfo’ is necessary when building from a checkout or otherwise
modifying the manual, but it’s not necessary when building from a
tarball.  See
<https://www.gnu.org/software/guix/manual/html_node/Building-from-Git.html>.

Can you confirm you were building from a checkout?

Thanks,
Ludo’.




Information forwarded to bug-guix <at> gnu.org:
bug#21974; Package guix. (Sat, 21 Nov 2015 20:49:02 GMT) Full text and rfc822 format available.

Message #11 received at 21974 <at> debbugs.gnu.org (full text, mbox):

From: Jan Synáček <jan.synacek <at> gmail.com>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 21974 <at> debbugs.gnu.org
Subject: Re: bug#21974: can't build guix without 'makeinfo'
Date: Sat, 21 Nov 2015 21:48:10 +0100
On Sat, Nov 21, 2015 at 9:40 PM, Ludovic Courtès <ludo <at> gnu.org> wrote:
> Jan Synáček <jan.synacek <at> gmail.com> skribis:
>
>> The build fails with an error if the 'makeinfo' binary is missing on
>> the system. The configure script should check for 'makeinfo' and fail
>> if not found (or maybe warn that the docs won't be built?).
>
> ‘makeinfo’ is necessary when building from a checkout or otherwise
> modifying the manual, but it’s not necessary when building from a
> tarball.  See
> <https://www.gnu.org/software/guix/manual/html_node/Building-from-Git.html>.
>
> Can you confirm you were building from a checkout?

Yes, I was building from a checkout. Maybe it would make sense to make
it optional,
as 'help2man' is? I was only trying to test the latest version of guix
and wasn't really
interested in the documentation changes.

-- 
Jan Synáček




Reply sent to ludo <at> gnu.org (Ludovic Courtès):
You have taken responsibility. (Sun, 22 Nov 2015 10:32:03 GMT) Full text and rfc822 format available.

Notification sent to Jan Synáček <jan.synacek <at> gmail.com>:
bug acknowledged by developer. (Sun, 22 Nov 2015 10:32:03 GMT) Full text and rfc822 format available.

Message #16 received at 21974-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Jan Synáček <jan.synacek <at> gmail.com>
Cc: 21974-done <at> debbugs.gnu.org
Subject: Re: bug#21974: can't build guix without 'makeinfo'
Date: Sun, 22 Nov 2015 11:31:51 +0100
Jan Synáček <jan.synacek <at> gmail.com> skribis:

> On Sat, Nov 21, 2015 at 9:40 PM, Ludovic Courtès <ludo <at> gnu.org> wrote:
>> Jan Synáček <jan.synacek <at> gmail.com> skribis:
>>
>>> The build fails with an error if the 'makeinfo' binary is missing on
>>> the system. The configure script should check for 'makeinfo' and fail
>>> if not found (or maybe warn that the docs won't be built?).
>>
>> ‘makeinfo’ is necessary when building from a checkout or otherwise
>> modifying the manual, but it’s not necessary when building from a
>> tarball.  See
>> <https://www.gnu.org/software/guix/manual/html_node/Building-from-Git.html>.
>>
>> Can you confirm you were building from a checkout?
>
> Yes, I was building from a checkout.

OK.

> Maybe it would make sense to make it optional, as 'help2man' is? I was
> only trying to test the latest version of guix and wasn't really
> interested in the documentation changes.

I think it cannot be made more optional than it currently is.
‘MAKEINFO’ is currently defined as:

  MAKEINFO = ${SHELL} …/build-aux/missing makeinfo

meaning that you get a warning when ‘makeinfo’ is missing.

Regardless, I would recommend the following to set up a development
environment for Guix:

  guix environment guix

I realize this wasn’t documented, so I’ve added it to “Building from
Git.”

Thanks,
Ludo’.




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sun, 20 Dec 2015 12:24:03 GMT) Full text and rfc822 format available.

This bug report was last modified 9 years and 188 days ago.

Previous Next


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