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

2021-07-09 Thread Maxim Cournoyer
Hi Ludovic! Ludovic Courtès writes: > Hi, > > Maxim Cournoyer skribis: > >> Ludovic Courtès writes: > > [...] > >>> FWIW, the map(PROT_NONE) issue was (I think) fixed by >>> 0aef94e7bcbd272720f14c5343f74da5201ef90a (in May), itself a followup to >>> 47d48f0c43c13c0b43bc3e37b6239efd4bf2f74c, so

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

2021-07-09 Thread Ludovic Courtès
Hi, Maxim Cournoyer skribis: > Ludovic Courtès writes: [...] >> FWIW, the map(PROT_NONE) issue was (I think) fixed by >> 0aef94e7bcbd272720f14c5343f74da5201ef90a (in May), itself a followup to >> 47d48f0c43c13c0b43bc3e37b6239efd4bf2f74c, so I think the comment is >> stale. [...] > Sadly, th

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

2021-07-08 Thread Maxim Cournoyer
Hello, Ludovic Courtès writes: [...] >> modified guix/self.scm >> @@ -410,7 +410,10 @@ a list of extra files, such as '(\"contributing\")." >> ;; Limit thread creation by 'n-par-for-each'. Going beyond can >> ;; lead libgc 8.0.4 to abort with: >> ;; mma

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

2021-07-08 Thread Ludovic Courtès
Hi! help-debb...@gnu.org (GNU bug Tracking System) skribis: > Leo Famulari writes: > >> On Fri, Apr 02, 2021 at 11:33:57AM +0200, Mathieu Othacehe wrote: >>> >>> > ). Please consider running po4a-updatepo to refresh it. >>> > Your input po file ./guix-manual.de.po seems outdated (The amount of

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

2021-07-07 Thread Maxim Cournoyer
Leo Famulari writes: > On Fri, Apr 02, 2021 at 11:33:57AM +0200, Mathieu Othacehe wrote: >> >> > ). 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 c

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

2021-04-21 Thread Leo Famulari
On Fri, Apr 02, 2021 at 11:33:57AM +0200, Mathieu Othacehe wrote: > > > ). 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

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

2021-04-02 Thread Leo Famulari
On Fri, Apr 02, 2021 at 11:33:57AM +0200, Mathieu Othacehe wrote: > > > ). 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

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

2021-04-02 Thread Ludovic Courtès
Hi Mathieu, Thanks for fixing this! Mathieu Othacehe skribis: > There's another error though: > > ). 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

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

2021-04-02 Thread Mathieu Othacehe
> ). 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/86gnwx

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

2021-04-02 Thread Mathieu Othacehe
> This causes the build failure. However, we do not have this makeinfo > error on the master guile-lib. That's because the docs are not compiled > for a reason I don't understand. Ok so I finally understand sorry for the spamming. Guile-lib contains a pre-compiled docs/guile-library.info. This m

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

2021-04-02 Thread Mathieu Othacehe
> MAKEINFO guile-library.info > /tmp/guix-build-guile-lib-0.2.7.drv-0/guile-lib-0.2.7/build-aux/missing: line > 81: makeinfo: command not found Looks like the devel manual generation is fixed. The guile-lib@0.2.7 build failure above only happens when generating the stable manual. In that cas

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

2021-04-02 Thread Mathieu Othacehe
Hello Leo, > ERROR: In procedure %resolve-variable: > Unbound variable: %strict-tokenizer? This variable is provided by guile-lib@0.2.7 while this derivation uses guile-lib@0.2.6.1 from guix-1.2.0-17.ec7fb66. I have restarted mcron which now uses guix-1.2.0-18.6e7ba45 and guile-lib@0.2.7. How

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

2021-04-01 Thread Leo Famulari
This problem is still there. It's breaking the building of the primary manual, the devel manual, and the cookbook, both for HTML and PDF outputs. There are details in /var/log/mcron.log on the server. Basically, guile-html-index-en builds are failing. For example, /gnu/store/cydvkyxdkkg7k9n04miy2

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

2021-03-26 Thread Leo Famulari
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 th