Unverified Commit b5827f10 authored by Ben Siraphob's avatar Ben Siraphob Committed by GitHub
Browse files

Merge pull request #175700 from siraben/cvc4-darwin 

cvc4: fix build on darwin
parents b8ca7f3c 583a2312

pkgs/applications/science/logic/cvc4/default.nix

+3 −3
Original line number Diff line number Diff line
@@ -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