lib/Tools/scala
changeset 59894 ca16b657901f
parent 53576 793a429c63e7
child 61294 2d3d26e9b191
     1.1 --- a/lib/Tools/scala	Wed Apr 01 17:20:52 2015 +0200
     1.2 +++ b/lib/Tools/scala	Wed Apr 01 17:58:23 2015 +0200
     1.3 @@ -6,6 +6,12 @@
     1.4  
     1.5  isabelle_admin_build jars || exit $?
     1.6  
     1.7 -isabelle_scala scala -Dfile.encoding=UTF-8 \
     1.8 +declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
     1.9 +declare -a SCALA_ARGS=()
    1.10 +for ARG in "${JAVA_ARGS[@]}"
    1.11 +do
    1.12 +  SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG"
    1.13 +done
    1.14 +
    1.15 +isabelle_scala scala "${SCALA_ARGS[@]}" \
    1.16    -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"
    1.17 -