From ef50d327693590803c56cf9d8ee10adc547796cc Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Thu, 9 Mar 2023 23:12:31 +0000 Subject: [PATCH] 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" | ^~~~~~~~ --- pkgs/games/unnethack/default.nix | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/games/unnethack/default.nix b/pkgs/games/unnethack/default.nix index 03928ff48f4c..af402a7de935 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