From bd44c7fd70b675e98ab47a85adb8c50c0b766f46 Mon Sep 17 00:00:00 2001
From: Robin Gloster <mail@glob.in>
Date: Wed, 24 Aug 2016 18:19:09 +0000
Subject: [PATCH] boolector: fix build with multiple outputs

---
 pkgs/applications/science/logic/boolector/default.nix | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/pkgs/applications/science/logic/boolector/default.nix b/pkgs/applications/science/logic/boolector/default.nix
index 3879ee8ef47..52c839130bb 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