diff options
| author | Frederik Rietdijk <fridh@fridh.nl> | 2018-07-13 19:34:19 +0200 |
|---|---|---|
| committer | Frederik Rietdijk <fridh@fridh.nl> | 2018-07-13 19:34:19 +0200 |
| commit | 3e31d23d994b94b9883a39037e328c026491b999 (patch) | |
| tree | aa5fec3413ae5b31a32ce37423ed677206121883 /pkgs/applications/science/logic/z3/default.nix | |
| parent | 0a7741110ca7ceba76d4d0a7a83dbd823c3c7cf4 (diff) | |
| parent | 2c07921cff84dfb0b9e0f6c2d10ee2bfee6a85ac (diff) | |
| download | nixlib-3e31d23d994b94b9883a39037e328c026491b999.tar nixlib-3e31d23d994b94b9883a39037e328c026491b999.tar.gz nixlib-3e31d23d994b94b9883a39037e328c026491b999.tar.bz2 nixlib-3e31d23d994b94b9883a39037e328c026491b999.tar.lz nixlib-3e31d23d994b94b9883a39037e328c026491b999.tar.xz nixlib-3e31d23d994b94b9883a39037e328c026491b999.tar.zst nixlib-3e31d23d994b94b9883a39037e328c026491b999.zip | |
Merge master into staging
Diffstat (limited to 'pkgs/applications/science/logic/z3/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 54c9799a01b8..10a526192764 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -20,6 +20,20 @@ stdenv.mkDerivation rec { cd build ''; + postInstall = '' + mkdir -p $dev $lib $python/lib + + mv $out/lib/python* $python/lib/ + 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 + ''; + + outputs = [ "out" "lib" "dev" "python" ]; + meta = { description = "A high-performance theorem prover and SMT solver"; homepage = "https://github.com/Z3Prover/z3"; |