Jeroen Ooms
2022-May-16 10:49 UTC
[Rd] Package build errors with parallel make on Ubuntu 18.04
After upgrading to R-4.2 we are seeing package build errors on Ubuntu 18.04: make[1]: *** read jobs pipe: No such file or directory. or: make[1]: *** write jobserver: Bad file descriptor. Stop. The problem seems to get triggered by the use of parallel make, but I cannot find the underlying cause. It does not happen on ubuntu 20 or 22, so I suspect the version of 'make' is related. Attached a dockerfile with a minimal reproducible example (run with: docker build .)
Jeroen Ooms
2022-May-16 12:03 UTC
[Rd] Package build errors with parallel make on Ubuntu 18.04
On Mon, May 16, 2022 at 12:49 PM Jeroen Ooms <jeroen at berkeley.edu> wrote:> > After upgrading to R-4.2 we are seeing package build errors on Ubuntu 18.04: > make[1]: *** read jobs pipe: No such file or directory. > or: > make[1]: *** write jobserver: Bad file descriptor. Stop. > > The problem seems to get triggered by the use of parallel make, but I cannot find the underlying cause. It does not happen on ubuntu 20 or 22, so I suspect the version of 'make' is related. > > Attached a dockerfile with a minimal reproducible example (run with: docker build .)Attachment seems to have been stripped. Here a copy: https://gist.github.com/jeroen/3e8cf2317912ebf4e3fd9bff732d63c5