GNU bug report logs - #47428
Problems building the up-to-date "devel" manual for the website

Previous Next

Package: guix;

Reported by: Leo Famulari <leo <at> famulari.name>

Date: Fri, 26 Mar 2021 22:37:01 UTC

Severity: normal

Done: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Leo Famulari <leo <at> famulari.name>
Subject: bug#47428: closed (Re: bug#47428: Problems building the
 up-to-date "devel" manual for the website)
Date: Fri, 02 Apr 2021 09:35:02 +0000
[Message part 1 (text/plain, inline)]
Your bug report

#47428: Problems building the up-to-date "devel" manual for the website

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 47428 <at> debbugs.gnu.org.

-- 
47428: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47428
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Mathieu Othacehe <othacehe <at> gnu.org>
To: Leo Famulari <leo <at> famulari.name>
Cc: 47428-done <at> debbugs.gnu.org
Subject: Re: bug#47428: Problems building the up-to-date "devel" manual for
 the website
Date: Fri, 02 Apr 2021 11:33:57 +0200
> ). Please consider running po4a-updatepo to refresh it.
> Your input po file ./guix-manual.de.po seems outdated (The amount of entries differ between files: 10012 is not 325
> ). Please consider running po4a-updatepo to refresh it.
> mmap(PROT_NONE) failed
> builder for `/gnu/store/86gnwxxw7lfkifaal6fhflmkn3fczyhf-guix-translated-texinfo.drv' failed due to signal 11 (Segmentation fault)

I worked around it by building this derivation on one core. Looks like
the cookbook, website, manual and devel manual are now building fine.

Closing this one,

Thanks,

Mathieu

[Message part 3 (message/rfc822, inline)]
From: Leo Famulari <leo <at> famulari.name>
To: bug-guix <at> gnu.org
Subject: Problems building the up-to-date "devel" manual for the website
Date: Fri, 26 Mar 2021 18:36:22 -0400
I noticed that the "devel" version of the online manual, which is
supposed to stay up to date, has not been updated since March 16, 2021:

https://guix.gnu.org/manual/devel/en/

There were some problems related to the recent guile-lib update, which
broke the build scripts in 'doc/build.scm', but that should be fixed
now.

I tried building it with `guix build -f doc/build.scm`, and it crashed
with a segmentation fault while building guix-translated-texinfo.drv,
with this message:

"mmap(PROT_NONE) failed"

I tried again, with --max-jobs=1, and it succeeded. So, maybe we just
need to update and reconfigure ci.guix.gnu.org, and try again.

Here is what I am working with:

------
$ guix describe
Generation 10   Mar 26 2021 20:11:33    (current)
  guix e8337f1
    repository URL: https://git.savannah.gnu.org/git/guix.git
    commit: e8337f1e45b57035c6e5d45133aa9412d4e5e882
------

And, I'm building 'doc/build.scm' from that same commit.



This bug report was last modified 3 years and 312 days ago.

Previous Next


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