diff options
-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 |