alloy*: use jre8

2020-09-19 15:53:34 +02:00
parent 3f3430072a
commit d48b03d237
1 changed files with 3 additions and 1 deletions
@@ -10481,7 +10481,9 @@ in

  adtool = callPackage ../tools/admin/adtool { };

-  inherit (callPackage ../development/tools/alloy { })
+  inherit (callPackage ../development/tools/alloy {
+    jre = jre8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
+  })
    alloy4
    alloy5
    alloy;