cvc4: fix build on darwin
Dependency on cln is optional
This commit is contained in:
parent
ef44c71d98
commit
583a2312e4
@ -14,14 +14,14 @@ stdenv.mkDerivation rec {
|
|||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [ pkg-config cmake ];
|
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 = [
|
configureFlags = [
|
||||||
"--enable-language-bindings=c,c++,java"
|
"--enable-language-bindings=c,c++,java"
|
||||||
"--enable-gpl"
|
"--enable-gpl"
|
||||||
"--with-cln"
|
|
||||||
"--with-readline"
|
"--with-readline"
|
||||||
"--with-boost=${boost.dev}"
|
"--with-boost=${boost.dev}"
|
||||||
];
|
] ++ lib.optionals (!stdenv.isDarwin) [ "--with-cln" ];
|
||||||
|
|
||||||
prePatch = ''
|
prePatch = ''
|
||||||
patch -p1 -i ${./minisat-fenv.patch} -d src/prop/minisat
|
patch -p1 -i ${./minisat-fenv.patch} -d src/prop/minisat
|
||||||
|
Loading…
Reference in New Issue
Block a user