lib/Tools/scalac
changeset 69126 e1b4b14ded58
parent 67490 982f0bf34804
child 73988 678e1c9eb009
equal deleted inserted replaced
69125:60b6c759134f 69126:e1b4b14ded58
     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 isabelle_scala scalac -Dfile.encoding=UTF-8 \
     9 isabelle_scala scalac -Dfile.encoding=UTF-8 \
    10   "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
       
    11   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
    10   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"