lib/Tools/scalac
author wenzelm
Sat Sep 17 16:29:18 2011 +0200 (2011-09-17)
changeset 44950 f60405791a1d
child 45385 7c1375ba1424
permissions -rwxr-xr-x
added "isabelle scalac" convenience;
wenzelm@44950
     1
#!/usr/bin/env bash
wenzelm@44950
     2
#
wenzelm@44950
     3
# Author: Makarius
wenzelm@44950
     4
#
wenzelm@44950
     5
# DESCRIPTION: invoke Scala compiler within the Isabelle environment
wenzelm@44950
     6
wenzelm@44950
     7
[ -z "$SCALA_HOME" ] && { echo "Unknown SCALA_HOME -- Scala unavailable"; exit 2; }
wenzelm@44950
     8
wenzelm@44950
     9
[ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
wenzelm@44950
    10
wenzelm@44950
    11
CLASSPATH="$(jvmpath "$CLASSPATH")"
wenzelm@44950
    12
exec "$SCALA_HOME/bin/scalac" -Dfile.encoding=UTF-8 \
wenzelm@44950
    13
  "-Djava.ext.dirs=$("$ISABELLE_HOME/lib/scripts/java_ext_dirs")" "$@"