Merge pull request #220398 from trofi/unnethack-disable-parallelism

unnethack: disable build parallelism
This commit is contained in:
Sergei Trofimovich 2023-03-10 21:55:57 +00:00 committed by GitHub
commit 2f357f268a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -33,7 +33,11 @@ stdenv.mkDerivation rec {
})
];
enableParallelBuilding = true;
# Fails the build occasionally due to missing buid depends:
# ./../sys/unix/unixmain.c:9:10: fatal error: date.h: No such file or directory
# TODO: remove once upstream issue is fixed:
# https://github.com/UnNetHack/UnNetHack/issues/56
enableParallelBuilding = false;
postInstall = ''
cp -r /tmp/unnethack $out/share/unnethack/profile