cvc4: 1.6 -> 1.8
Co-authored-by: Gabriel Ebner <gebner@gebner.org> Update pkgs/applications/science/logic/cvc4/default.nix Co-authored-by: Gabriel Ebner <gebner@gebner.org>
This commit is contained in:
parent
36adeebde6
commit
424936ed33
|
@ -1,19 +1,20 @@
|
|||
{ stdenv, fetchurl, cln, gmp, swig, pkgconfig
|
||||
, readline, libantlr3c, boost, jdk, autoreconfHook
|
||||
, python3, antlr3_4
|
||||
{ stdenv, fetchFromGitHub, cmake, cln, gmp, git, swig, pkgconfig
|
||||
, readline, libantlr3c, boost, jdk, python3, antlr3_4
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "cvc4";
|
||||
version = "1.6";
|
||||
version = "1.8";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-${version}.tar.gz";
|
||||
sha256 = "1iw793zsi48q91lxpf8xl8lnvv0jsj4whdad79rakywkm1gbs62w";
|
||||
src = fetchFromGitHub {
|
||||
owner = "cvc4";
|
||||
repo = "cvc4";
|
||||
rev = version;
|
||||
sha256 = "1rhs4pvzaa1wk00czrczp58b2cxfghpsnq534m0l3snnya2958jp";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ autoreconfHook pkgconfig ];
|
||||
buildInputs = [ gmp cln readline swig libantlr3c antlr3_4 boost jdk python3 ];
|
||||
nativeBuildInputs = [ pkgconfig cmake ];
|
||||
buildInputs = [ gmp git python3.pkgs.toml cln readline swig libantlr3c antlr3_4 boost jdk python3 ];
|
||||
configureFlags = [
|
||||
"--enable-language-bindings=c,c++,java"
|
||||
"--enable-gpl"
|
||||
|
@ -30,6 +31,10 @@ stdenv.mkDerivation rec {
|
|||
preConfigure = ''
|
||||
patchShebangs ./src/
|
||||
'';
|
||||
cmakeFlags = [
|
||||
"-DCMAKE_BUILD_TYPE=Production"
|
||||
];
|
||||
|
||||
|
||||
enableParallelBuilding = true;
|
||||
|
||||
|
|
Loading…
Reference in New Issue