diff options
author | Austin Seipp <aseipp@pobox.com> | 2017-11-05 11:34:32 -0600 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2017-11-05 12:49:38 -0600 |
commit | e27e0ebe48d784b9bf304413889593946b4acca8 (patch) | |
tree | aa005db923d5e4c4b36be7d9c31f9f552a3e0e95 /pkgs/applications/science/logic/cvc4 | |
parent | c4f784db1d7994957cb87ec3533bc7d5a08f2d24 (diff) | |
download | nixlib-e27e0ebe48d784b9bf304413889593946b4acca8.tar nixlib-e27e0ebe48d784b9bf304413889593946b4acca8.tar.gz nixlib-e27e0ebe48d784b9bf304413889593946b4acca8.tar.bz2 nixlib-e27e0ebe48d784b9bf304413889593946b4acca8.tar.lz nixlib-e27e0ebe48d784b9bf304413889593946b4acca8.tar.xz nixlib-e27e0ebe48d784b9bf304413889593946b4acca8.tar.zst nixlib-e27e0ebe48d784b9bf304413889593946b4acca8.zip |
cvc4: unstable-2017-05-18 -> 1.5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic/cvc4')
-rw-r--r-- | pkgs/applications/science/logic/cvc4/default.nix | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/pkgs/applications/science/logic/cvc4/default.nix b/pkgs/applications/science/logic/cvc4/default.nix index df7eac02513c..6b213226635d 100644 --- a/pkgs/applications/science/logic/cvc4/default.nix +++ b/pkgs/applications/science/logic/cvc4/default.nix @@ -1,15 +1,15 @@ -{ stdenv, fetchFromGitHub, cln, gmp, swig, pkgconfig, readline, libantlr3c, -boost, jdk, autoreconfHook, python2, antlr3_4 }: +{ stdenv, fetchurl, cln, gmp, swig, pkgconfig +, readline, libantlr3c, boost, jdk, autoreconfHook +, python2, antlr3_4 +}: stdenv.mkDerivation rec { - name = "cvc4-unstable-${version}"; - version = "2017-05-18"; + name = "cvc4-${version}"; + version = "1.5"; - src = fetchFromGitHub { - owner = "CVC4"; - repo = "CVC4"; - rev = "d77107cc56b0a089364c3d1512813701c155ea93"; - sha256 = "085bjrrm33rl5pwqx13af9sgni9cfbg70wag6lm08jj41ws411xs"; + src = fetchurl { + url = "http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-${version}.tar.gz"; + sha256 = "0yxxawgc9vd2cz883swjlm76rbdkj48n7a8dfppsami530y2rvhi"; }; nativeBuildInputs = [ autoreconfHook pkgconfig ]; @@ -21,6 +21,7 @@ stdenv.mkDerivation rec { "--with-readline" "--with-boost=${boost.dev}" ]; + preConfigure = '' patchShebangs ./src/ ''; |