diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 1f1fb0206a74..3defbda5a123 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -749,9 +749,11 @@ rec { }; - jdk = jdkdistro true false; - jre = jdkdistro false true; + jdk = jdkdistro true false; + jre = jdkdistro false false; + jdkPlugin = jdkdistro true true; + jrePlugin = jdkdistro false true; jdkdistro = installjdk : pluginSupport: if stdenv.isDarwin then @@ -2972,7 +2974,7 @@ rec { ] # RealPlayer is disabled by default for legal reasons. ++ (if getConfig ["firefox" "enableRealPlayer"] false then [RealPlayer] else []) - ++ (if jre != false then [jre] else []); + ++ (if jrePlugin != false then [jrePlugin] else []); }; xara = import ../applications/graphics/xara { diff --git a/pkgs/top-level/build-for-release.nix b/pkgs/top-level/build-for-release.nix index eaf724bf6771..ba6326d64141 100644 --- a/pkgs/top-level/build-for-release.nix +++ b/pkgs/top-level/build-for-release.nix @@ -73,7 +73,7 @@ let { jetty jikes jing_tools - jre + jrePlugin kcachegrind keen4 kernel