| changeset 74017 | b4e6b82fdb9e |
| parent 71373 | 201486ced92d |
| child 74038 | b4f57bfe82e7 |
| 74016:027fb21bdd5d | 74017:b4e6b82fdb9e |
|---|---|
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_admin_build jars || 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 |