swiProlog: use openjdk8
This commit is contained in:
parent
809f3344f8
commit
98cab0de9f
|
@ -9780,6 +9780,7 @@ in
|
|||
|
||||
swiProlog = callPackage ../development/compilers/swi-prolog {
|
||||
inherit (darwin.apple_sdk.frameworks) Security;
|
||||
jdk = openjdk8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
|
||||
};
|
||||
swiPrologWithGui = swiProlog.override { withGui = true; };
|
||||
|
||||
|
|
Loading…
Reference in New Issue