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

From: Leo Famulari <[email-masked]>
Date: Wed, 21 Apr 2021 11:56:38 -0400

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 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.

The problem happened again.

How can we make sure this derivation is always single-threaded?