lib/Tools/scalac
author wenzelm
Fri Jan 01 16:40:47 2016 +0100 (2016-01-01)
changeset 62028 2ecee4679f99
parent 61294 2d3d26e9b191
child 67490 982f0bf34804
permissions -rwxr-xr-x
updated for release;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: invoke Scala compiler within the Isabelle environment
     6 
     7 isabelle_admin_build jars || exit $?
     8 
     9 isabelle_scala scalac -Dfile.encoding=UTF-8 \
    10   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
    11