| changeset 34282 | 549969a7f582 |
| parent 29143 | 72c960b2b83e |
| child 34297 | 5c0a2583f997 |
| 34281:eedea6f0b37e | 34282:549969a7f582 |
|---|---|
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: invoke Scala within the Isabelle environment |
5 # DESCRIPTION: invoke Scala within the Isabelle environment |
6 |
6 |
7 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars |
|
8 |
|
7 CLASSPATH="$(jvmpath "$CLASSPATH")" |
9 CLASSPATH="$(jvmpath "$CLASSPATH")" |
8 exec "$ISABELLE_SCALA" "$@" |
10 exec "$ISABELLE_SCALA" "$@" |