Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
basic setup for bundled Java runtime;
authorwenzelm
Sun, 28 Nov 2010 18:31:54 +0100
changeset 41042cd7b17ba502b
parent 41041 301e91df039d
child 41043 d71fe93e8e0c
basic setup for bundled Java runtime;
Admin/java/README file | annotate | diff | comparison | revisions
Admin/java/etc/settings file | annotate | diff | comparison | revisions 
     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"
wneuper/isa