diff options
| author | Robin Gloster <mail@glob.in> | 2016-08-24 18:19:09 +0000 |
|---|---|---|
| committer | Robin Gloster <mail@glob.in> | 2016-08-24 18:19:40 +0000 |
| commit | bd44c7fd70b675e98ab47a85adb8c50c0b766f46 (patch) | |
| tree | ccd0b8d913b41eb7eeb48948c4208485b9f2d794 /pkgs/applications/science | |
| parent | e8d9e31a0846455b45809e8c124d061f968a037a (diff) | |
| download | nixlib-bd44c7fd70b675e98ab47a85adb8c50c0b766f46.tar nixlib-bd44c7fd70b675e98ab47a85adb8c50c0b766f46.tar.gz nixlib-bd44c7fd70b675e98ab47a85adb8c50c0b766f46.tar.bz2 nixlib-bd44c7fd70b675e98ab47a85adb8c50c0b766f46.tar.lz nixlib-bd44c7fd70b675e98ab47a85adb8c50c0b766f46.tar.xz nixlib-bd44c7fd70b675e98ab47a85adb8c50c0b766f46.tar.zst nixlib-bd44c7fd70b675e98ab47a85adb8c50c0b766f46.zip | |
boolector: fix build with multiple outputs
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/boolector/default.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/boolector/default.nix b/pkgs/applications/science/logic/boolector/default.nix index 3879ee8ef470..52c839130bb3 100644 --- a/pkgs/applications/science/logic/boolector/default.nix +++ b/pkgs/applications/science/logic/boolector/default.nix @@ -23,11 +23,9 @@ let license = with stdenv.lib.licenses; if useV16 then unfreeRedistributable else gpl3; in stdenv.mkDerivation (boolectorPkg // { - buildInputs = [ zlib ]; + buildInputs = [ zlib stdenv.glibc.static zlib.static ]; enableParallelBuilding = false; - buildPhase = "./build.sh"; - installPhase = '' mkdir -p $out/bin $out/lib $out/include cp boolector/boolector $out/bin |