etc/settings
changeset 37174 6feaab4fc27d
parent 37062 2b94e2d406d9
child 40387 e4c9e0dad473
equal deleted inserted replaced
37173:ece850d911a5 37174:6feaab4fc27d
    54 ###
    54 ###
    55 ### JVM components (Scala or Java)
    55 ### JVM components (Scala or Java)
    56 ###
    56 ###
    57 
    57 
    58 ISABELLE_JAVA="java"
    58 ISABELLE_JAVA="java"
    59 ISABELLE_SCALA="scala"
       
    60 
       
    61 [ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \
       
    62   "$ISABELLE_HOME/contrib/scala" \
       
    63   "$ISABELLE_HOME/../scala" \
       
    64   "")
       
    65 
       
    66 [ -n "$SCALA_HOME" ] && ISABELLE_SCALA="$SCALA_HOME/bin/scala"
       
    67 
    59 
    68 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    60 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    69 
    61 
    70 
    62 
    71 ###
    63 ###