| author | blanchet |
| Fri, 28 Aug 2015 16:48:05 +0200 | |
| changeset 61043 | 0810068379d8 |
| parent 59894 | ca16b657901f |
| child 61294 | 2d3d26e9b191 |
| 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 |
|
| 59894 | 9 |
declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" |
10 |
declare -a SCALA_ARGS=() |
|
11 |
for ARG in "${JAVA_ARGS[@]}"
|
|
12 |
do |
|
13 |
SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG"
|
|
14 |
done |
|
15 |
||
16 |
isabelle_scala scala "${SCALA_ARGS[@]}" \
|
|
|
53576
793a429c63e7
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
wenzelm
parents:
52443
diff
changeset
|
17 |
-classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@" |