lib/Tools/scalac
author wenzelm
Wed, 31 Mar 2021 11:24:46 +0200
changeset 73772 d3f2038198ae
parent 69126 e1b4b14ded58
child 74252 678e1c9eb009
permissions -rwxr-xr-x
clarified (again): local tip could be actually more recent;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
44950
f60405791a1d added "isabelle scalac" convenience;
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
f60405791a1d added "isabelle scalac" convenience;
wenzelm
parents:
diff changeset
     2
#
f60405791a1d added "isabelle scalac" convenience;
wenzelm
parents:
diff changeset
     3
# Author: Makarius
f60405791a1d added "isabelle scalac" convenience;
wenzelm
parents:
diff changeset
     4
#
f60405791a1d added "isabelle scalac" convenience;
wenzelm
parents:
diff changeset
     5
# DESCRIPTION: invoke Scala compiler within the Isabelle environment
f60405791a1d added "isabelle scalac" convenience;
wenzelm
parents:
diff changeset
     6
52443
725916b7dee5 more formal isabelle_admin_build;
wenzelm
parents: 48915
diff changeset
     7
isabelle_admin_build jars || exit $?
44950
f60405791a1d added "isabelle scalac" convenience;
wenzelm
parents:
diff changeset
     8
47115
1a05adae1cc9 more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
wenzelm
parents: 45385
diff changeset
     9
isabelle_scala scalac -Dfile.encoding=UTF-8 \
61294
2d3d26e9b191 renamed jvmpath to platform_path;
wenzelm
parents: 53576
diff changeset
    10
  -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"