boolector: fix build with multiple outputs

2016-08-24 18:19:09 +00:00 · 2016-08-24 18:19:09 +00:00 · bd44c7fd70
parent e8d9e31a08
commit bd44c7fd70
1 changed files with 1 additions and 3 deletions
--- 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