java: Normalize to the default jre / jdk

2015-01-07 14:55:41 -08:00
parent bbc4262514
commit c82410eeda
20 changed files with 36 additions and 42 deletions
@@ -50,7 +50,7 @@ stdenv.mkDerivation {
    patch package-files/linux/jedit << EOF
    5a6,8
    > # specify the correct JAVA_HOME
-    > JAVA_HOME=${jdk.jre}/lib/openjdk/jre
+    > JAVA_HOME=${jdk.jre.home}/jre
    > 
    EOF
    sed -i "s|/usr/share/jEdit/@jar.filename@|$out/share/jEdit/jedit.jar|g" package-files/linux/jedit