Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
basic setup for bundled Java runtime;
authorwenzelm
Sun, 28 Nov 2010 18:31:54 +0100
changeset 40790 cd7b17ba502b
parent 40789 301e91df039d
child 40791 d71fe93e8e0c
basic setup for bundled Java runtime;
Admin/java/README file | annotate | diff | comparison | revisions
Admin/java/etc/settings file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/java/README	Sun Nov 28 18:31:54 2010 +0100
@@ -0,0 +1,2 @@
+This is JRE 1.6.0_22 for Linux and Linux x86 from
+http://www.java.com/en/download/manual.jsp
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/java/etc/settings	Sun Nov 28 18:31:54 2010 +0100
@@ -0,0 +1,2 @@
+JAVA_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jre1.6.0_22"
+ISABELLE_JAVA="$JAVA_HOME/bin/java"
isabelle