cvc3: enable for darwin

it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
This commit is contained in:
Robert Scott 2020-09-22 21:59:28 +01:00 committed by Jon
parent 53a8a415ac
commit fc709e6dfe
2 changed files with 2 additions and 1 deletions

View File

@ -27,7 +27,7 @@ stdenv.mkDerivation rec {
description = "A prover for satisfiability modulo theory (SMT)";
maintainers = with maintainers;
[ raskin ];
platforms = platforms.linux;
platforms = platforms.unix;
license = licenses.free;
homepage = "http://www.cs.nyu.edu/acsys/cvc3/index.html";
};

View File

@ -26280,6 +26280,7 @@ in
cvc3 = callPackage ../applications/science/logic/cvc3 {
gmp = lib.overrideDerivation gmp (a: { dontDisableStatic = true; });
stdenv = gccStdenv;
};
cvc4 = callPackage ../applications/science/logic/cvc4 {
jdk = jdk8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731