diff options
| author | Daiderd Jordan <daiderd@gmail.com> | 2018-03-24 02:10:54 +0100 |
|---|---|---|
| committer | Daiderd Jordan <daiderd@gmail.com> | 2018-03-24 02:11:58 +0100 |
| commit | 23d0c1713064cfc7e9ba703e7515057c6c30d6dd (patch) | |
| tree | 2c4ef205286183d258fa982e9068356870eedb57 | |
| parent | f16db1961013464eb93c43b66b12df5469bcf4f0 (diff) | |
| download | nixlib-23d0c1713064cfc7e9ba703e7515057c6c30d6dd.tar nixlib-23d0c1713064cfc7e9ba703e7515057c6c30d6dd.tar.gz nixlib-23d0c1713064cfc7e9ba703e7515057c6c30d6dd.tar.bz2 nixlib-23d0c1713064cfc7e9ba703e7515057c6c30d6dd.tar.lz nixlib-23d0c1713064cfc7e9ba703e7515057c6c30d6dd.tar.xz nixlib-23d0c1713064cfc7e9ba703e7515057c6c30d6dd.tar.zst nixlib-23d0c1713064cfc7e9ba703e7515057c6c30d6dd.zip | |
picosat: fix darwin build
/cc ZHF #36454
| -rw-r--r-- | pkgs/applications/science/logic/picosat/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/picosat/default.nix b/pkgs/applications/science/logic/picosat/default.nix index db252f97916a..638996e853b8 100644 --- 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 |