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
commit7cc95a01dea4dc2b504f6b9e52009298cc61c5da
authorOlli Helenius <liff@iki.fi>
dateSun 21 Nov 2021, 12:32 (5 years ago)
parentb56d7a7
pkgs/top-level/all-packages.nix+1−1
@@ -12968,7 +12968,7 @@ with pkgs;
1296812968
1296912969 scala_2_10 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.10"; jre = jdk8; };
1297012970 scala_2_11 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.11"; jre = jdk8; };
12971− scala_2_12 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.12"; jre = jdk8; };
12971+ scala_2_12 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.12"; };
1297212972 scala_2_13 = callPackage ../development/compilers/scala/2.x.nix { majorVersion = "2.13"; jre = jdk8; };
1297312973
1297412974 scala = scala_2_13;