diff options
author | Gabriel Ebner <gebner@gebner.org> | 2016-11-08 16:13:56 -0500 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2016-11-08 16:14:16 -0500 |
commit | 8c4aee4c79dfdc72232db9cfb3d533fdf67cfd3c (patch) | |
tree | 878441a108acd054fd014e8bc5d683324c9e03f0 /pkgs/applications | |
parent | a7c986cf69927a24de1eba280ad699f066749b8f (diff) | |
download | nixlib-8c4aee4c79dfdc72232db9cfb3d533fdf67cfd3c.tar nixlib-8c4aee4c79dfdc72232db9cfb3d533fdf67cfd3c.tar.gz nixlib-8c4aee4c79dfdc72232db9cfb3d533fdf67cfd3c.tar.bz2 nixlib-8c4aee4c79dfdc72232db9cfb3d533fdf67cfd3c.tar.lz nixlib-8c4aee4c79dfdc72232db9cfb3d533fdf67cfd3c.tar.xz nixlib-8c4aee4c79dfdc72232db9cfb3d533fdf67cfd3c.tar.zst nixlib-8c4aee4c79dfdc72232db9cfb3d533fdf67cfd3c.zip |
z3: 4.4.1 -> 4.5.0
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 22 |
1 files changed, 5 insertions, 17 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 0e43abdd681d..fa5c9ba175e0 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -4,33 +4,21 @@ let python = python2; in stdenv.mkDerivation rec { name = "z3-${version}"; - version = "4.4.1"; + version = "4.5.0"; src = fetchFromGitHub { owner = "Z3Prover"; repo = "z3"; rev = "z3-${version}"; - sha256 = "1ix100r1h00iph1bk5qx5963gpqaxmmx42r2vb5zglynchjif07c"; + sha256 = "0ssp190ksak93hiz61z90x6hy9hcw1ywp8b2dzmbhn6fbd4bnxzp"; }; buildInputs = [ python ]; enableParallelBuilding = true; - configurePhase = "${python.interpreter} scripts/mk_make.py --prefix=$out && cd build"; - - # z3's install phase is stupid because it tries to calculate the - # python package store location itself, meaning it'll attempt to - # write files into the nix store, and fail. - soext = if stdenv.system == "x86_64-darwin" then ".dylib" else ".so"; - installPhase = '' - mkdir -p $out/bin $out/${python.sitePackages} $out/include - cp ../src/api/z3*.h $out/include - cp ../src/api/c++/z3*.h $out/include - cp z3 $out/bin - cp libz3${soext} $out/lib - cp libz3${soext} $out/${python.sitePackages} - cp z3*.pyc $out/${python.sitePackages} - cp ../src/api/python/*.py $out/${python.sitePackages} + configurePhase = '' + ${python.interpreter} scripts/mk_make.py --prefix=$out --python --pypkgdir=$out/${python.sitePackages} + cd build ''; meta = { |