diff options
author | Sergei Trofimovich <slyich@gmail.com> | 2023-03-09 23:12:31 +0000 |
---|---|---|
committer | Sergei Trofimovich <slyich@gmail.com> | 2023-03-09 23:12:31 +0000 |
commit | ef50d327693590803c56cf9d8ee10adc547796cc (patch) | |
tree | b45736647b7afe05ef160399445407f67323669c /pkgs/games/unnethack | |
parent | ea1110eb5904e4f569b294bc16ec535733749b3f (diff) |
unnethack: disable build parallelism
Without the change the build fails occasionally as: gcc -DAUTOCONF -Wall -I../include -I./../include -g -O2 -c ./../sys/unix/unixmain.c ./../sys/unix/unixmain.c:9:10: fatal error: date.h: No such file or directory 9 | #include "date.h" | ^~~~~~~~
Diffstat (limited to 'pkgs/games/unnethack')
-rw-r--r-- | pkgs/games/unnethack/default.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/pkgs/games/unnethack/default.nix b/pkgs/games/unnethack/default.nix index 03928ff48f4c0..af402a7de9359 100644 --- a/pkgs/games/unnethack/default.nix +++ b/pkgs/games/unnethack/default.nix @@ -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 |