z3: version 4.3.1

Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2014-03-07 22:45:15 -06:00
parent 084ff142ad
commit 2646eac8b2
2 changed files with 47 additions and 0 deletions

View file

@ -0,0 +1,46 @@
{ stdenv, fetchurl, python, unzip, autoreconfHook }:
stdenv.mkDerivation rec {
name = "z3-${version}";
version = "4.3.1";
src = fetchurl {
url = "http://download-codeplex.sec.s-msft.com/Download/SourceControlFileDownload.ashx\?ProjectName\=z3\&changeSetId\=89c1785b73225a1b363c0e485f854613121b70a7";
name = "${name}.zip";
sha256 = "3b94465c52ec174350d8707dd6a1fb0cef42f0fa23f148cc1808c14f3c2c7f76";
};
buildInputs = [ python unzip autoreconfHook ];
enableParallelBuilding = true;
# The zip file doesn't unpack a directory, just the code itself.
unpackPhase = "mkdir ${name} && cd ${name} && unzip $src";
postConfigure = ''
python scripts/mk_make.py
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/lib/${python.libPrefix}/site-packages $out/include
cp ../src/api/z3.h $out/include
cp ../src/api/z3_api.h $out/include
cp ../src/api/z3_v1.h $out/include
cp ../src/api/z3_macros.h $out/include
cp ../src/api/c++/z3++.h $out/include
cp z3 $out/bin
cp libz3${soext} $out/lib
cp libz3${soext} $out/lib/${python.libPrefix}/site-packages
cp z3*.pyc $out/lib/${python.libPrefix}/site-packages
'';
meta = {
description = "Z3 is a high-performance theorem prover and SMT solver";
homepage = "http://z3.codeplex.com";
license = stdenv.lib.licenses.unfreeRedistributable;
platforms = stdenv.lib.platforms.unix;
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
};
}

View file

@ -10068,6 +10068,7 @@ let
tptp = callPackage ../applications/science/logic/tptp {};
z3 = callPackage ../applications/science/logic/z3 {};
### SCIENCE / ELECTRONICS