author | wenzelm |
Wed, 06 Jun 2018 14:50:18 +0200 | |
changeset 68401 | cd53ad6e7d96 |
parent 67490 | 982f0bf34804 |
child 69126 | e1b4b14ded58 |
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 |
|
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 \ |
67490
982f0bf34804
more robust java.ext.dirs: avoid picking up accidental jars from system directories;
wenzelm
parents:
61294
diff
changeset
|
10 |
"-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \ |
61294 | 11 |
-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |