lib/Tools/scalac
author wenzelm
Tue, 04 Jun 2019 19:51:45 +0200
changeset 70324 005c1cdbfd3f
parent 69126 e1b4b14ded58
child 73988 678e1c9eb009
permissions -rwxr-xr-x
backout 34bc296374ee -- affects the raw_induct rule, e.g. relevant for AFP/Imperative_Insertion_Sort;
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")" "$@"