From fc709e6dfee4370c2199cd1caff89ca7aa245199 Mon Sep 17 00:00:00 2001 From: Robert Scott Date: Tue, 22 Sep 2020 21:59:28 +0100 Subject: [PATCH] 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 --- pkgs/applications/science/logic/cvc3/default.nix | 2 +- pkgs/top-level/all-packages.nix | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) 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