equal
deleted
inserted
replaced
4 # |
4 # |
5 # DESCRIPTION: invoke Scala compiler within the Isabelle environment |
5 # DESCRIPTION: invoke Scala compiler within the Isabelle environment |
6 |
6 |
7 isabelle_admin_build jars || exit $? |
7 isabelle_admin_build jars || exit $? |
8 |
8 |
|
9 classpath "$ISABELLE_SETUP_CLASSPATH" |
|
10 unset ISABELLE_SETUP_CLASSPATH |
|
11 |
|
12 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
|
13 unset CLASSPATH |
|
14 |
9 isabelle_scala scalac -Dfile.encoding=UTF-8 \ |
15 isabelle_scala scalac -Dfile.encoding=UTF-8 \ |
10 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |
16 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |