equal
deleted
inserted
replaced
64 |
64 |
65 ### |
65 ### |
66 ### JVM components (Scala or Java) |
66 ### JVM components (Scala or Java) |
67 ### |
67 ### |
68 |
68 |
|
69 ISABELLE_JAVA="java" |
69 ISABELLE_SCALA="scala" |
70 ISABELLE_SCALA="scala" |
70 ISABELLE_JAVA="java" |
71 |
71 |
72 [ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \ |
72 if [ -e "$ISABELLE_HOME/contrib/scala" ]; then |
73 "$ISABELLE_HOME/contrib/scala" |
73 classpath "$ISABELLE_HOME/contrib/scala/lib/scala-library.jar" |
74 "$ISABELLE_HOME/../scala" |
74 elif [ -e "$ISABELLE_HOME/../scala" ]; then |
75 "") |
75 classpath "$ISABELLE_HOME/../scala/lib/scala-library.jar" |
76 [ -n "$SCALA_HOME" ] && ISABELLE_SCALA="$SCALA_HOME/bin/scala" |
76 fi |
|
77 |
77 |
78 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
78 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
79 |
79 |
80 |
80 |
81 ### |
81 ### |