author | paulson <lp15@cam.ac.uk> |
Sun, 12 Feb 2023 20:49:31 +0000 | |
changeset 77234 | 61fba09a3456 |
parent 76343 | 6a6f650cc5a2 |
permissions | -rwxr-xr-x |
44950 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
5 |
# DESCRIPTION: invoke Scala compiler within the Isabelle environment |
|
6 |
||
74038
b4f57bfe82e7
more robust "isabelle build_scala" as separate tool;
wenzelm
parents:
74017
diff
changeset
|
7 |
isabelle scala_build || exit $? |
44950 | 8 |
|
73989 | 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 | 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 | 13 |
-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |