scala_2_12: use latest JDK

Java 17 and 18 are supported since 2.12.15:

    https://docs.scala-lang.org/overviews/jdk-compatibility/overview.html
This commit is contained in:
Olli Helenius
2021-11-21 12:36:13 +02:00
parent b56d7a70a7
commit 7cc95a01de
+1 -1
View File
@@ -12968,7 +12968,7 @@ with pkgs;
scala_2_10 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.10"; jre = jdk8; };
scala_2_11 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.11"; jre = jdk8; };
scala_2_12 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.12"; jre = jdk8; };
scala_2_12 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.12"; };
scala_2_13 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.13"; jre = jdk8; };
scala = scala_2_13;