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 67490 982f0bf34804
parent 61294 2d3d26e9b191
child 69126 e1b4b14ded58
equal deleted inserted replaced
67488:3d33847dc911 67490:982f0bf34804 
     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")" \
 
    10   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
 
    11   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
 
    11
isabelle