diff options
author | Gabriel Ebner <gebner@gebner.org> | 2016-07-24 13:11:17 +0200 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2016-07-24 13:11:17 +0200 |
commit | 908247647888115066f26ec4d90bacc0f96b5c70 (patch) | |
tree | 11b2e7e79cd388a01ef6fe26031cc462108a2be6 /pkgs/applications/science/logic/cvc4/default.nix | |
parent | bbae43a7a9f8d8a63bfe9a487c002544f92dd127 (diff) | |
download | nixpkgs-908247647888115066f26ec4d90bacc0f96b5c70.tar nixpkgs-908247647888115066f26ec4d90bacc0f96b5c70.tar.gz nixpkgs-908247647888115066f26ec4d90bacc0f96b5c70.tar.bz2 nixpkgs-908247647888115066f26ec4d90bacc0f96b5c70.tar.lz nixpkgs-908247647888115066f26ec4d90bacc0f96b5c70.tar.xz nixpkgs-908247647888115066f26ec4d90bacc0f96b5c70.tar.zst nixpkgs-908247647888115066f26ec4d90bacc0f96b5c70.zip |
cvc4: 1.4 -> 1.5pre-smtcomp2016
Diffstat (limited to 'pkgs/applications/science/logic/cvc4/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/cvc4/default.nix | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/pkgs/applications/science/logic/cvc4/default.nix b/pkgs/applications/science/logic/cvc4/default.nix index 5175037f01b..91ee4e41899 100644 --- a/pkgs/applications/science/logic/cvc4/default.nix +++ b/pkgs/applications/science/logic/cvc4/default.nix @@ -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 { name = "cvc4-${version}"; - version = "1.4"; + version = "1.5pre-smtcomp2016"; src = fetchurl { 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 = '' patchShebangs ./src/ - OLD_CPPFLAGS="$CPPFLAGS" - export CPPFLAGS="$CPPFLAGS -P" ''; - postConfigure = ''CPPFLAGS="$OLD_CPPFLAGS"''; - doChecks = true; meta = with stdenv.lib; { description = "A high-performance theorem prover and SMT solver"; homepage = http://cvc4.cs.nyu.edu/web/; - license = licenses.bsd3; + license = licenses.gpl3; platforms = platforms.unix; maintainers = with maintainers; [ vbgl thoughtpolice ]; }; |