diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-01-10 10:52:47 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-01-11 08:43:14 +0100 |
commit | 670a782340f72208b5b5f79c9a72987206ac9967 (patch) | |
tree | 0bf88a5908eb847e978fcf3a8a1460165d7e6dd6 | |
parent | a2282ae66e6c36f6d2cb5b34764ecc5cb6b24765 (diff) |
coqPackages_8_13.smtcoq.cvc4: fix build by using older make
-rw-r--r-- | pkgs/development/coq-modules/smtcoq/cvc4.nix | 5 | ||||
-rw-r--r-- | pkgs/development/coq-modules/smtcoq/default.nix | 3 |
2 files changed, 6 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/smtcoq/cvc4.nix b/pkgs/development/coq-modules/smtcoq/cvc4.nix index cbedf1658e4e..036feae5865c 100644 --- a/pkgs/development/coq-modules/smtcoq/cvc4.nix +++ b/pkgs/development/coq-modules/smtcoq/cvc4.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, cln, fetchurl, gmp, swig, pkg-config +{ lib, stdenv, cln, fetchurl, gmp, gnumake42, swig, pkg-config , libantlr3c, boost, autoreconfHook , python3 }: @@ -12,7 +12,8 @@ stdenv.mkDerivation rec { sha256 = "1iw793zsi48q91lxpf8xl8lnvv0jsj4whdad79rakywkm1gbs62w"; }; - nativeBuildInputs = [ autoreconfHook pkg-config ]; + # Build fails with GNUmake 4.4 + nativeBuildInputs = [ autoreconfHook gnumake42 pkg-config ]; buildInputs = [ gmp swig libantlr3c boost python3 ] ++ lib.optionals stdenv.isLinux [ cln ]; diff --git a/pkgs/development/coq-modules/smtcoq/default.nix b/pkgs/development/coq-modules/smtcoq/default.nix index a09930a7c7cc..be8d18a717ab 100644 --- a/pkgs/development/coq-modules/smtcoq/default.nix +++ b/pkgs/development/coq-modules/smtcoq/default.nix @@ -31,6 +31,9 @@ mkCoqDerivation { mlPlugin = true; nativeBuildInputs = with coq.ocamlPackages; [ ocamlbuild ]; + # This is meant to ease future troubleshooting of cvc4 build failures + passthru = { inherit cvc4; }; + meta = { description = "Communication between Coq and SAT/SMT solvers "; maintainers = with maintainers; [ siraben ]; |