cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

coqPackages.smtcoq.cvc4: fix build by building CLN in the same stdenv

Browse source
This commit is contained in:
Vincent Laporte 2024-01-18 06:11:55 +01:00 committed by Vincent Laporte
parent ed30e67bb0
commit 6088947f52
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/development/coq-modules/smtcoq/cvc4.nix
View file

@ -3,6 +3,8 @@
, python3
}:
let cln' = cln.override { gccStdenv = stdenv; }; in
stdenv.mkDerivation rec {
pname = "cvc4";
version = "1.6";
@ -15,7 +17,7 @@ stdenv.mkDerivation rec {
# Build fails with GNUmake 4.4
nativeBuildInputs = [ autoreconfHook gnumake42 pkg-config ];
buildInputs = [ gmp swig libantlr3c boost python3 ]
++ lib.optionals stdenv.isLinux [ cln ];
++ lib.optionals stdenv.isLinux [ cln' ];
configureFlags = [
"--enable-language-bindings=c"