colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cvc4: unstable-2017-05-18 -> 1.5

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2017-11-05 11:34:32 -06:00
parent c4f784db1d
commit e27e0ebe48
1 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
pkgs/applications/science/logic/cvc4/default.nix
View File

@ -1,15 +1,15 @@
{ stdenv, fetchFromGitHub, cln, gmp, swig, pkgconfig, readline, libantlr3c, { stdenv, fetchurl, cln, gmp, swig, pkgconfig
boost, jdk, autoreconfHook, python2, antlr3_4 }: , readline, libantlr3c, boost, jdk, autoreconfHook
, python2, antlr3_4
}:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "cvc4-unstable-${version}"; name = "cvc4-${version}";
version = "2017-05-18"; version = "1.5";
src = fetchFromGitHub { src = fetchurl {
owner = "CVC4"; url = "http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-${version}.tar.gz";
repo = "CVC4"; sha256 = "0yxxawgc9vd2cz883swjlm76rbdkj48n7a8dfppsami530y2rvhi";
rev = "d77107cc56b0a089364c3d1512813701c155ea93";
sha256 = "085bjrrm33rl5pwqx13af9sgni9cfbg70wag6lm08jj41ws411xs";
}; };
nativeBuildInputs = [ autoreconfHook pkgconfig ]; nativeBuildInputs = [ autoreconfHook pkgconfig ];
@ -21,6 +21,7 @@ stdenv.mkDerivation rec {
"--with-readline" "--with-readline"
"--with-boost=${boost.dev}" "--with-boost=${boost.dev}"
]; ];
preConfigure = '' preConfigure = ''
patchShebangs ./src/ patchShebangs ./src/
''; '';