public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

picosat: fix darwin build

Browse Source 
/cc ZHF #36454
This commit is contained in:
Daiderd Jordan 2018-03-24 02:10:54 +01:00
parent f16db19610
commit 23d0c17130
No known key found for this signature in database
GPG Key ID: D02435D05B810C96
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/applications/science/logic/picosat/default.nix
View File

@ -19,6 +19,9 @@ stdenv.mkDerivation rec {
configurePhase = "./configure.sh --shared --trace"; configurePhase = "./configure.sh --shared --trace";
makeFlags = stdenv.lib.optional stdenv.isDarwin
"SONAME=-Wl,-install_name,$(out)/lib/libpicosat.so";
installPhase = '' installPhase = ''
mkdir -p $out/bin $out/lib $out/share $out/include/picosat mkdir -p $out/bin $out/lib $out/share $out/include/picosat
cp picomus picomcs picosat picogcnf "$out"/bin cp picomus picomcs picosat picogcnf "$out"/bin