lib/Tools/scala
changeset 53576 793a429c63e7
parent 52443 725916b7dee5
child 59894 ca16b657901f
equal deleted inserted replaced
53575:df79aa33bb74 53576:793a429c63e7
     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 CLASSPATH="$(jvmpath "$CLASSPATH")"
       
    10 isabelle_scala scala -Dfile.encoding=UTF-8 \
     9 isabelle_scala scala -Dfile.encoding=UTF-8 \
    11   "-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@"
    10   -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"
       
    11