lib/Tools/scalac
changeset 73988 678e1c9eb009
parent 69126 e1b4b14ded58
child 73989 842fc354c031
equal deleted inserted replaced
73987:fc363a3b690a 73988:678e1c9eb009
     4 #
     4 #
     5 # DESCRIPTION: invoke Scala compiler within the Isabelle environment
     5 # DESCRIPTION: invoke Scala compiler within the Isabelle environment
     6 
     6 
     7 isabelle_admin_build jars || exit $?
     7 isabelle_admin_build jars || exit $?
     8 
     8 
       
     9 classpath "$ISABELLE_SETUP_CLASSPATH"
       
    10 unset ISABELLE_SETUP_CLASSPATH
       
    11 
       
    12 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
       
    13 unset CLASSPATH
       
    14 
     9 isabelle_scala scalac -Dfile.encoding=UTF-8 \
    15 isabelle_scala scalac -Dfile.encoding=UTF-8 \
    10   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
    16   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"