pyrox.dev
coqPackages_8_13.smtcoq: fix build by using older make
authored by
Vincent Laporte
and committed by
Vincent Laporte
290df59e
670a7823
+1
-1
pkgs/development/coq-modules/smtcoq/default.nix
+1
-1
pkgs/development/coq-modules/smtcoq/default.nix
···
29
29
30
30
propagatedBuildInputs = [ trakt cvc4 veriT' zchaff ] ++ (with coq.ocamlPackages; [ num zarith ]);
31
31
mlPlugin = true;
32
-
nativeBuildInputs = with coq.ocamlPackages; [ ocamlbuild ];
32
+
nativeBuildInputs = (with pkgs; [ gnumake42 ]) ++ (with coq.ocamlPackages; [ ocamlbuild ]);
33
33
34
34
# This is meant to ease future troubleshooting of cvc4 build failures
35
35
passthru = { inherit cvc4; };