Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/scalac
changeset 52443 725916b7dee5
parent 48915 34fac6fb9b03
child 53576 793a429c63e7
equal deleted inserted replaced
52442:d3c5195b7399 52443:725916b7dee5 
     2 #
 
     2 #
 
     3 # Author: Makarius
 
     3 # Author: Makarius
 
     4 #
 
     4 #
 
     5 # DESCRIPTION: invoke Scala compiler within the Isabelle environment
 
     5 # DESCRIPTION: invoke Scala compiler within the Isabelle environment
 
     6 
     6 
     7 [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
 
     7 isabelle_admin_build jars || exit $?
 
     8 
     8 
     9 CLASSPATH="$(jvmpath "$CLASSPATH")"
 
     9 CLASSPATH="$(jvmpath "$CLASSPATH")"
 
    10 isabelle_scala scalac -Dfile.encoding=UTF-8 \
 
    10 isabelle_scala scalac -Dfile.encoding=UTF-8 \
 
    11   "-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@"
 
    11   "-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@"
 
    12 
    12
isabelle