changeset 40571 | fbac01813bff |
parent 40545 | 956c2cc7fced |
child 41495 | f8c11067e124 |
--- a/etc/settings Tue Nov 16 21:54:52 2010 +0100 +++ b/etc/settings Tue Nov 16 22:13:54 2010 +0100 @@ -55,7 +55,11 @@ ### JVM components (Scala or Java) ### -ISABELLE_JAVA="java" +if [ -n "$JAVA_HOME" ]; then + ISABELLE_JAVA="$JAVA_HOME/bin/java" +else + ISABELLE_JAVA="java" +fi classpath "$ISABELLE_HOME/lib/classes/Pure.jar"