| changeset 74038 | b4f57bfe82e7 |
| parent 74017 | b4e6b82fdb9e |
| 74037:c13198575f75 | 74038:b4f57bfe82e7 |
|---|---|
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: raw ML process (interactive mode) |
5 # DESCRIPTION: raw ML process (interactive mode) |
6 |
6 |
7 isabelle_scala_build || exit $? |
7 isabelle scala_build || exit $? |
8 |
8 |
9 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)" |
9 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)" |
10 |
10 |
11 mkdir -p "$ISABELLE_TMP_PREFIX" || exit $? |
11 mkdir -p "$ISABELLE_TMP_PREFIX" || exit $? |
12 |
12 |