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 /pkgs | |
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
Diffstat (limited to 'pkgs')
-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 |