author | wenzelm |
Sat, 13 Jul 2013 21:02:41 +0200 | |
changeset 52653 | 0589394aaaa5 |
parent 52443 | 725916b7dee5 |
child 53576 | 793a429c63e7 |
permissions | -rwxr-xr-x |
27914 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
27916 | 5 |
# DESCRIPTION: invoke Scala within the Isabelle environment |
27914 | 6 |
|
52443 | 7 |
isabelle_admin_build jars || exit $? |
34282
549969a7f582
simplified build/bootstrap of Isabelle/Scala components -- avoid make;
wenzelm
parents:
29143
diff
changeset
|
8 |
|
27914 | 9 |
CLASSPATH="$(jvmpath "$CLASSPATH")" |
47115
1a05adae1cc9
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
wenzelm
parents:
45385
diff
changeset
|
10 |
isabelle_scala scala -Dfile.encoding=UTF-8 \ |
48915
34fac6fb9b03
simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component;
wenzelm
parents:
47748
diff
changeset
|
11 |
"-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@" |