equal
deleted
inserted
replaced
5 # DESCRIPTION: invoke Scala compiler within the Isabelle environment |
5 # DESCRIPTION: invoke Scala compiler within the Isabelle environment |
6 |
6 |
7 isabelle scala_build || exit $? |
7 isabelle scala_build || exit $? |
8 |
8 |
9 classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH |
9 classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH |
10 classpath "$CLASSPATH"; unset CLASSPATH |
10 classpath "$CLASSPATH"; export CLASSPATH="" |
11 |
11 |
12 isabelle_scala scalac -Dfile.encoding=UTF-8 \ |
12 isabelle_scala scalac -Dfile.encoding=UTF-8 \ |
13 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |
13 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |