equal
deleted
inserted
replaced
6 |
6 |
7 isabelle_admin_build jars || exit $? |
7 isabelle_admin_build jars || exit $? |
8 |
8 |
9 case "$ISABELLE_JAVA_PLATFORM" in |
9 case "$ISABELLE_JAVA_PLATFORM" in |
10 x86-*) |
10 x86-*) |
11 ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS32" |
11 ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS32" |
12 ;; |
12 ;; |
13 x86_64-*) |
13 x86_64-*) |
14 ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS64" |
14 ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS64" |
15 ;; |
15 ;; |
16 esac |
16 esac |
17 |
17 |
18 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)" |
18 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)" |
19 |
19 |
20 mkdir -p "$ISABELLE_TMP_PREFIX" || exit $? |
20 mkdir -p "$ISABELLE_TMP_PREFIX" || exit $? |
21 |
21 |
22 if type -p "$ISABELLE_LINE_EDITOR" > /dev/null |
22 if type -p "$ISABELLE_LINE_EDITOR" > /dev/null |
23 then |
23 then |