| changeset 67490 | 982f0bf34804 |
| parent 66906 | 03a96b8c7c06 |
| child 69126 | e1b4b14ded58 |
| 67488:3d33847dc911 | 67490:982f0bf34804 |
|---|---|
12 do |
12 do |
13 SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG" |
13 SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG" |
14 done |
14 done |
15 |
15 |
16 isabelle_scala scala "${SCALA_ARGS[@]}" \ |
16 isabelle_scala scala "${SCALA_ARGS[@]}" \ |
17 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \ |
|
17 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |
18 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |