equal
deleted
inserted
replaced
78 |
78 |
79 isabelle_admin_build jars || exit $? |
79 isabelle_admin_build jars || exit $? |
80 |
80 |
81 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)" |
81 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)" |
82 |
82 |
|
83 mkdir -p "$ISABELLE_TMP_PREFIX" || exit $? |
83 OPTIONS_FILE="$ISABELLE_TMP_PREFIX/options$$" |
84 OPTIONS_FILE="$ISABELLE_TMP_PREFIX/options$$" |
84 |
85 |
85 "$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build_Console \ |
86 "$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build_Console \ |
86 "$LOGIC" "$NO_BUILD" "$SYSTEM_MODE" "$OPTIONS_FILE" \ |
87 "$LOGIC" "$NO_BUILD" "$SYSTEM_MODE" "$OPTIONS_FILE" \ |
87 "${INCLUDE_DIRS[@]}" $'\n' "${SYSTEM_OPTIONS[@]}" || { |
88 "${INCLUDE_DIRS[@]}" $'\n' "${SYSTEM_OPTIONS[@]}" || { |