author | wenzelm |
Thu, 15 Jul 2021 17:33:06 +0200 | |
changeset 73988 | 678e1c9eb009 |
parent 69126 | e1b4b14ded58 |
child 73989 | 842fc354c031 |
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 |
||
52443 | 7 |
isabelle_admin_build jars || exit $? |
44950 | 8 |
|
73988 | 9 |
classpath "$ISABELLE_SETUP_CLASSPATH" |
10 |
unset ISABELLE_SETUP_CLASSPATH |
|
11 |
||
12 |
[ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
|
13 |
unset CLASSPATH |
|
14 |
||
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
|
15 |
isabelle_scala scalac -Dfile.encoding=UTF-8 \ |
61294 | 16 |
-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |