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

z3: fix darwin build (#43526)

Browse Source
This commit is contained in:
Mario Rodas 2018-07-14 14:49:47 -05:00 committed by xeji
parent 3d2e92ef00
commit 1c88d0c6bd
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/z3/default.nix
View File

@ -27,9 +27,7 @@ stdenv.mkDerivation rec {
mv $out/lib $lib/lib
mv $out/include $dev/include
# clean up a copy of libz3.so and symlink it instead
rm $python/${python.sitePackages}/z3/lib/libz3.so
ln -s $lib/lib/libz3.so $python/${python.sitePackages}/z3/lib/libz3.so
ln -sf $lib/lib/libz3${stdenv.hostPlatform.extensions.sharedLibrary} $python/${python.sitePackages}/z3/lib/libz3${stdenv.hostPlatform.extensions.sharedLibrary}
'';
outputs = [ "out" "lib" "dev" "python" ];