diff options
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"; |