ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2025-01-05 02:23:07 +03:00
Code Issues Projects Releases Wiki Activity

cvc4: use jdk8

Browse Source
This commit is contained in:
Gabriel Ebner 2020-09-19 14:55:51 +02:00
parent d6f90eddb2
commit 5ad9f73252
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/top-level/all-packages.nix
View File

@ -26197,7 +26197,9 @@ in
cvc3 = callPackage ../applications/science/logic/cvc3 {
gmp = lib.overrideDerivation gmp (a: { dontDisableStatic = true; });
};
cvc4 = callPackage ../applications/science/logic/cvc4 {};
cvc4 = callPackage ../applications/science/logic/cvc4 {
jdk = jdk8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
};
drat-trim = callPackage ../applications/science/logic/drat-trim {};