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 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" |
9 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" |
10 declare -a SCALA_ARGS=() |
10 declare -a SCALA_ARGS=() |
11 for ARG in "${JAVA_ARGS[@]}" |
11 for ARG in "${JAVA_ARGS[@]}" |
12 do |
12 do |
13 SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG" |
13 SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG" |
14 done |
14 done |