equal
deleted
inserted
replaced
4 # |
4 # |
5 # DESCRIPTION: invoke Scala within the Isabelle environment |
5 # DESCRIPTION: invoke Scala within the Isabelle environment |
6 |
6 |
7 isabelle_admin_build jars || exit $? |
7 isabelle_admin_build jars || exit $? |
8 |
8 |
9 isabelle_scala scala -Dfile.encoding=UTF-8 \ |
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[@]}" \ |
10 -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@" |
17 -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@" |
11 |
|