diff options
Diffstat (limited to 'pkgs/applications/science/logic/boolector')
-rw-r--r-- | pkgs/applications/science/logic/boolector/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/boolector/default.nix b/pkgs/applications/science/logic/boolector/default.nix index dec7989ae54..37d25c9e947 100644 --- a/pkgs/applications/science/logic/boolector/default.nix +++ b/pkgs/applications/science/logic/boolector/default.nix @@ -23,7 +23,10 @@ let license = with stdenv.lib.licenses; if useV16 then unfreeRedistributable else gpl3; in stdenv.mkDerivation (boolectorPkg // { - buildInputs = [ zlib stdenv.cc.libc.static zlib.static ]; + buildInputs = [ + zlib zlib.static (stdenv.lib.getOutput "static" stdenv.cc.libc) + ]; + enableParallelBuilding = false; installPhase = '' |