equal
deleted
inserted
replaced
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: invoke Scala within the Isabelle environment |
5 # DESCRIPTION: invoke Scala within the Isabelle environment |
6 |
6 |
7 isabelle_scala_build || exit $? |
7 isabelle scala_build || exit $? |
8 |
8 |
9 eval "declare -a 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 |