nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-22 08:30:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #175709 from NixOS/backport-175700-to-release-22.05

Browse Source 
[Backport release-22.05] cvc4: fix build on darwin
This commit is contained in:
Robert Scott
2022-06-01 21:56:17 +01:00
committed by GitHub
parent afd5b59fa9 d0a23aa650
commit e15a101bc0
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/cvc4/default.nix
View File

@@ -14,14 +14,14 @@ stdenv.mkDerivation rec {
};
nativeBuildInputs = [ pkg-config cmake ];
buildInputs = [ gmp git python3.pkgs.toml cln readline swig libantlr3c antlr3_4 boost jdk python3 ];
buildInputs = [ gmp git python3.pkgs.toml readline swig libantlr3c antlr3_4 boost jdk python3 ]
++ lib.optionals (!stdenv.isDarwin) [ cln ];
configureFlags = [
"--enable-language-bindings=c,c++,java"
"--enable-gpl"
"--with-cln"
"--with-readline"
"--with-boost=${boost.dev}"
];
] ++ lib.optionals (!stdenv.isDarwin) [ "--with-cln" ];
prePatch = ''
patch -p1 -i ${./minisat-fenv.patch} -d src/prop/minisat