Merge pull request #47375 from taku0/remove_oraclejdk_10

oraclejdk: remove version 10
This commit is contained in:
Franz Pletz
2018-11-01 21:36:42 +00:00
committed by GitHub
2 changed files with 0 additions and 165 deletions
-9
View File
@@ -7029,18 +7029,12 @@ with pkgs;
oraclejdk8psu = pkgs.oraclejdk8psu_distro true false;
oraclejdk10 = pkgs.oraclejdk10distro "JDK" false;
oraclejre = lowPrio (pkgs.jdkdistro false false);
oraclejre8 = lowPrio (pkgs.oraclejdk8distro false false);
oraclejre8psu = lowPrio (pkgs.oraclejdk8psu_distro false false);
oraclejre10 = lowPrio (pkgs.oraclejdk10distro "JRE" false);
oracleserverjre10 = lowPrio (pkgs.oraclejdk10distro "ServerJRE" false);
jrePlugin = jre8Plugin;
jre8Plugin = lowPrio (pkgs.oraclejdk8distro false true);
@@ -7055,9 +7049,6 @@ with pkgs;
(if pluginSupport then appendToName "with-plugin" else x: x)
(callPackage ../development/compilers/oraclejdk/jdk8psu-linux.nix { inherit installjdk pluginSupport; });
oraclejdk10distro = packageType: _:
(callPackage ../development/compilers/oraclejdk/jdk10-linux.nix { inherit packageType; });
javacard-devkit = pkgsi686Linux.callPackage ../development/compilers/javacard-devkit { };
jikes = callPackage ../development/compilers/jikes { };