nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-24 05:00:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages_8_13.smtcoq.cvc4: fix build by using older make

Browse Source
This commit is contained in:
Vincent Laporte 2023-01-10 10:52:47 +01:00 committed by Vincent Laporte
parent a2282ae66e
commit 670a782340
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/coq-modules/smtcoq/cvc4.nix
View File

@ -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 ];

3
pkgs/development/coq-modules/smtcoq/default.nix
View File

@ -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 ];