diff options
author | Robert Scott <code@humanleg.org.uk> | 2020-09-22 21:59:28 +0100 |
---|---|---|
committer | Jon <jonringer@users.noreply.github.com> | 2020-09-22 23:06:45 -0700 |
commit | fc709e6dfee4370c2199cd1caff89ca7aa245199 (patch) | |
tree | 5b9b6cdee6e25093349b8ec052f9b4d1453a8feb | |
parent | 53a8a415ac5eca0ae16fd0c1e456584e83e5015f (diff) |
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
-rw-r--r-- | pkgs/applications/science/logic/cvc3/default.nix | 2 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/cvc3/default.nix b/pkgs/applications/science/logic/cvc3/default.nix index f6bb7d441c3f..be80565115fe 100644 --- a/pkgs/applications/science/logic/cvc3/default.nix +++ b/pkgs/applications/science/logic/cvc3/default.nix @@ -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"; }; diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 89f2f4e689a3..ef348253cc6a 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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 |