author | wenzelm |
Thu, 10 Mar 2016 10:07:23 +0100 | |
changeset 62586 | a522a5692832 |
parent 62573 | 27f90319a499 |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # Isabelle process startup script. if [ -L "$0" ]; then TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@" fi ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)" source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 isabelle_admin_build jars || exit $? "$ISABELLE_TOOL" java isabelle.ML_Process "$@"