basic setup for bundled Java runtime;
authorwenzelm
Sun Nov 28 18:31:54 2010 +0100 (2010-11-28)
changeset 40790cd7b17ba502b
parent 40789 301e91df039d
child 40791 d71fe93e8e0c
basic setup for bundled Java runtime;
Admin/java/README
Admin/java/etc/settings
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/java/README	Sun Nov 28 18:31:54 2010 +0100
     1.3 @@ -0,0 +1,2 @@
     1.4 +This is JRE 1.6.0_22 for Linux and Linux x86 from
     1.5 +http://www.java.com/en/download/manual.jsp
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/Admin/java/etc/settings	Sun Nov 28 18:31:54 2010 +0100
     2.3 @@ -0,0 +1,2 @@
     2.4 +JAVA_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jre1.6.0_22"
     2.5 +ISABELLE_JAVA="$JAVA_HOME/bin/java"