picosat: fix darwin build

/cc ZHF #36454 (cherry picked from commit 23d0c17)
NixOS · Mar 24, 2018 · 3976ff7 · 3976ff7
1 parent f6c0edb
commit 3976ff7
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/pkgs/applications/science/logic/picosat/default.nix b/pkgs/applications/science/logic/picosat/default.nix
@@ -19,6 +19,9 @@ stdenv.mkDerivation rec {
 
   configurePhase = "./configure.sh --shared --trace";
 
+  makeFlags = stdenv.lib.optional stdenv.isDarwin
+    "SONAME=-Wl,-install_name,$(out)/lib/libpicosat.so";
+
   installPhase = ''
    mkdir -p $out/bin $out/lib $out/share $out/include/picosat
    cp picomus picomcs picosat picogcnf "$out"/bin