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

cvc4: 1.4 -> 1.5pre-smtcomp2016

Browse Source
This commit is contained in:
Gabriel Ebner 2016-07-24 13:11:17 +02:00
parent bbae43a7a9
commit 9082476478
1 changed files with 12 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,27 +1,30 @@
{ stdenv, fetchurl, gmp, libantlr3c, boost, autoreconfHook }: { stdenv, fetchurl, cln, gmp, swig, pkgconfig, readline, libantlr3c, boost, jdk, autoreconfHook, python2 }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "cvc4-${version}"; name = "cvc4-${version}";
version = "1.4"; version = "1.5pre-smtcomp2016";
src = fetchurl { src = fetchurl {
url = "http://cvc4.cs.nyu.edu/builds/src/cvc4-${version}.tar.gz"; url = "http://cvc4.cs.nyu.edu/builds/src/cvc4-${version}.tar.gz";
sha256 = "093h7zgv4z4ad503j30dpn8k2pz9m90pvd7gi5axdmwsxgwlzzkn"; sha256 = "15wz0plfc9q8acrwq1ljgsgqmh8pyz5alzv5xpchvv9w76lvj2zf";
}; };
buildInputs = [ gmp libantlr3c boost autoreconfHook ]; buildInputs = [ gmp cln pkgconfig readline swig libantlr3c boost jdk autoreconfHook python2 ];
configureFlags = [
"--enable-language-bindings=c,c++,java"
"--enable-gpl"
"--with-cln"
"--with-readline"
"--with-boost=${boost.dev}"
];
preConfigure = '' preConfigure = ''
patchShebangs ./src/ patchShebangs ./src/
OLD_CPPFLAGS="$CPPFLAGS"
export CPPFLAGS="$CPPFLAGS -P"
''; '';
postConfigure = ''CPPFLAGS="$OLD_CPPFLAGS"'';
doChecks = true;
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "A high-performance theorem prover and SMT solver"; description = "A high-performance theorem prover and SMT solver";
homepage = http://cvc4.cs.nyu.edu/web/; homepage = http://cvc4.cs.nyu.edu/web/;
license = licenses.bsd3; license = licenses.gpl3;
platforms = platforms.unix; platforms = platforms.unix;
maintainers = with maintainers; [ vbgl thoughtpolice ]; maintainers = with maintainers; [ vbgl thoughtpolice ];
}; };