lib/Tools/scalac
author wenzelm
Tue Jan 23 16:37:57 2018 +0100 (21 months ago)
changeset 67490 982f0bf34804
parent 61294 2d3d26e9b191
child 69126 e1b4b14ded58
permissions -rwxr-xr-x
more robust java.ext.dirs: avoid picking up accidental jars from system directories;
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@52443
     7
isabelle_admin_build jars || exit $?
wenzelm@44950
     8
wenzelm@47115
     9
isabelle_scala scalac -Dfile.encoding=UTF-8 \
wenzelm@67490
    10
  "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
wenzelm@61294
    11
  -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"