author | wenzelm |
Thu, 19 Sep 2019 16:42:27 +0200 (2019-09-19) | |
changeset 70739 | 29243d779b61 |
parent 69126 | e1b4b14ded58 |
child 71882 | f92c7e2ba8da |
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 |
|
66906 | 9 |
eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" |
59894 | 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[@]}" \ |
|
61294 | 17 |
-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |