diff options
| author | Austin Seipp <aseipp@pobox.com> | 2015-01-23 10:41:55 -0600 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2015-01-23 11:00:55 -0600 |
| commit | d1b06927bcc3294d8575a99b6e0196ebd96d48d1 (patch) | |
| tree | 3bd92611aa85e5b1595f7fac7d5047384d57d217 /pkgs/applications/science/logic | |
| parent | 7581c422d4dd39acbf9e33bbc77dffe834ea56d8 (diff) | |
| download | nixlib-d1b06927bcc3294d8575a99b6e0196ebd96d48d1.tar nixlib-d1b06927bcc3294d8575a99b6e0196ebd96d48d1.tar.gz nixlib-d1b06927bcc3294d8575a99b6e0196ebd96d48d1.tar.bz2 nixlib-d1b06927bcc3294d8575a99b6e0196ebd96d48d1.tar.lz nixlib-d1b06927bcc3294d8575a99b6e0196ebd96d48d1.tar.xz nixlib-d1b06927bcc3294d8575a99b6e0196ebd96d48d1.tar.zst nixlib-d1b06927bcc3294d8575a99b6e0196ebd96d48d1.zip | |
nixpkgs: z3 4.3.1 -> 4.3.2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 7a87cb5e8be0..a213f6da37ed 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -1,21 +1,22 @@ -{ stdenv, fetchurl, python, unzip, autoreconfHook }: +{ stdenv, fetchurl, python, unzip }: stdenv.mkDerivation rec { name = "z3-${version}"; - version = "4.3.1"; + version = "4.3.2"; src = fetchurl { - url = "http://download-codeplex.sec.s-msft.com/Download/SourceControlFileDownload.ashx\?ProjectName\=z3\&changeSetId\=89c1785b73225a1b363c0e485f854613121b70a7"; + url = "http://download-codeplex.sec.s-msft.com/Download/SourceControlFileDownload.ashx\?ProjectName\=z3\&changeSetId\=cee7dd39444c9060186df79c2a2c7f8845de415b"; name = "${name}.zip"; - sha256 = "3b94465c52ec174350d8707dd6a1fb0cef42f0fa23f148cc1808c14f3c2c7f76"; + sha256 = "0hagy7xm0m52jd6vlrbizkj24mn6c49hkb3r5p66wilvp15ivpbn"; }; - buildInputs = [ python unzip autoreconfHook ]; + buildInputs = [ python unzip ]; 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 + + configurePhase = '' + python scripts/mk_make.py --prefix=$out cd build ''; @@ -37,7 +38,7 @@ stdenv.mkDerivation rec { ''; meta = { - description = "Z3 is a high-performance theorem prover and SMT solver"; + description = "A high-performance theorem prover and SMT solver"; homepage = "http://z3.codeplex.com"; license = stdenv.lib.licenses.msrla; platforms = stdenv.lib.platforms.unix; |