etc/settings
changeset 40571 fbac01813bff
parent 40545 956c2cc7fced
child 41495 f8c11067e124
equal deleted inserted replaced
40570:bf8f92bdf630 40571:fbac01813bff
    53 
    53 
    54 ###
    54 ###
    55 ### JVM components (Scala or Java)
    55 ### JVM components (Scala or Java)
    56 ###
    56 ###
    57 
    57 
    58 ISABELLE_JAVA="java"
    58 if [ -n "$JAVA_HOME" ]; then
       
    59   ISABELLE_JAVA="$JAVA_HOME/bin/java"
       
    60 else
       
    61   ISABELLE_JAVA="java"
       
    62 fi
    59 
    63 
    60 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    64 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    61 
    65 
    62 
    66 
    63 ###
    67 ###