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/applications/science/logic | |
| 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/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/cvc3/default.nix | 2 |
1 files changed, 1 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"; }; |