diff options
| author | Robin Gloster <mail@glob.in> | 2016-08-25 08:44:20 +0000 |
|---|---|---|
| committer | Robin Gloster <mail@glob.in> | 2016-08-25 08:44:20 +0000 |
| commit | eddc0a554900b5868de73971c415bcb0e9c52aec (patch) | |
| tree | 955517860d12fb8ddbac8e0efc6f8523bb03fc75 /pkgs/applications/science/logic/boolector | |
| parent | 113fbe910ebc483b140ba60c0dbd0b37f7f623f6 (diff) | |
| download | nixpkgs-eddc0a554900b5868de73971c415bcb0e9c52aec.tar nixpkgs-eddc0a554900b5868de73971c415bcb0e9c52aec.tar.gz nixpkgs-eddc0a554900b5868de73971c415bcb0e9c52aec.tar.bz2 nixpkgs-eddc0a554900b5868de73971c415bcb0e9c52aec.tar.lz nixpkgs-eddc0a554900b5868de73971c415bcb0e9c52aec.tar.xz nixpkgs-eddc0a554900b5868de73971c415bcb0e9c52aec.tar.zst nixpkgs-eddc0a554900b5868de73971c415bcb0e9c52aec.zip | |
treewide: fix darwin builds by using getOutput
This fixes eval for pkgs referring to optional static output
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 = '' |