author | hoelzl |
Thu, 17 Mar 2016 14:48:14 +0100 | |
changeset 62648 | ee48e0b4f669 |
parent 62592 | 4832491d1376 |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: raw ML process (batch mode) isabelle_admin_build jars || exit $? case "$ISABELLE_JAVA_PLATFORM" in x86-*) ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS32" ;; x86_64-*) ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS64" ;; esac declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)" mkdir -p "$ISABELLE_TMP_PREFIX" || exit $? exec isabelle java isabelle.ML_Process "$@"