lib/Tools/scalac
author paulson <lp15@cam.ac.uk>
Sun, 12 Feb 2023 20:49:31 +0000
changeset 77234 61fba09a3456
parent 76343 6a6f650cc5a2
permissions -rwxr-xr-x
Simplification of proofs
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
74038
b4f57bfe82e7 more robust "isabelle build_scala" as separate tool;
wenzelm
parents: 74017
diff changeset
     7
isabelle scala_build || exit $?
44950
f60405791a1d added "isabelle scalac" convenience;
wenzelm
parents:
diff changeset
     8
73989
842fc354c031 more robust classpath: skip empty entries;
wenzelm
parents: 73988
diff changeset
     9
classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH
76343
6a6f650cc5a2 more robust reset of CLASSPATH: unset variable means "." in certain situations, e.g. scalac;
wenzelm
parents: 74038
diff changeset
    10
classpath "$CLASSPATH"; export CLASSPATH=""
73988
678e1c9eb009 more robust: avoid duplicate classpath entries;
wenzelm
parents: 69126
diff changeset
    11
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
    12
isabelle_scala scalac -Dfile.encoding=UTF-8 \
61294
2d3d26e9b191 renamed jvmpath to platform_path;
wenzelm
parents: 53576
diff changeset
    13
  -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"