diff options
Diffstat (limited to 'nixpkgs/pkgs/development/coq-modules/smtcoq/cvc4.nix')
-rw-r--r-- | nixpkgs/pkgs/development/coq-modules/smtcoq/cvc4.nix | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/nixpkgs/pkgs/development/coq-modules/smtcoq/cvc4.nix b/nixpkgs/pkgs/development/coq-modules/smtcoq/cvc4.nix deleted file mode 100644 index 220c24a2b830..000000000000 --- a/nixpkgs/pkgs/development/coq-modules/smtcoq/cvc4.nix +++ /dev/null @@ -1,50 +0,0 @@ -{ lib, stdenv, cln, fetchurl, gmp, gnumake42, swig, pkg-config -, libantlr3c, boost, autoreconfHook -, python3 -}: - -let cln' = cln.override { gccStdenv = stdenv; }; in - -stdenv.mkDerivation rec { - pname = "cvc4"; - version = "1.6"; - - src = fetchurl { - url = "https://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-${version}.tar.gz"; - sha256 = "1iw793zsi48q91lxpf8xl8lnvv0jsj4whdad79rakywkm1gbs62w"; - }; - - # Build fails with GNUmake 4.4 - nativeBuildInputs = [ autoreconfHook gnumake42 pkg-config ]; - buildInputs = [ gmp swig libantlr3c boost python3 ] - ++ lib.optionals stdenv.isLinux [ cln' ]; - - configureFlags = [ - "--enable-language-bindings=c" - "--enable-gpl" - "--with-boost=${boost.dev}" - ] ++ lib.optionals stdenv.isLinux [ "--with-cln" ]; - - prePatch = '' - patch -p1 -i ${./minisat-fenv.patch} -d src/prop/minisat - patch -p1 -i ${./minisat-fenv.patch} -d src/prop/bvminisat - ''; - - patches = [ - ../../../applications/science/logic/cvc4/cvc4-bash-patsub-replacement.patch - ]; - - preConfigure = '' - patchShebangs ./src/ - ''; - - enableParallelBuilding = true; - - meta = with lib; { - description = "A high-performance theorem prover and SMT solver"; - homepage = "http://cvc4.cs.stanford.edu/web/"; - license = licenses.gpl3; - platforms = platforms.unix; - maintainers = with maintainers; [ vbgl thoughtpolice gebner ]; - }; -} |