ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
authorwenzelm
Wed Apr 01 17:58:23 2015 +0200 (2015-04-01)
changeset 59894ca16b657901f
parent 59893 89f3bd11fa8b
child 59895 a68a0fec288d
ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
lib/Tools/scala
     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 -