author | wenzelm |
Fri, 04 Apr 2014 12:07:48 +0200 | |
changeset 56399 | 386e4cb7ad68 |
parent 34275 | 8f105e6a2b88 |
child 57414 | fe1be2844fda |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: Proof General / Emacs interface wrapper ## diagnostics function fail() { echo "$1" >&2 exit 2 } ## main [ -z "$PROOFGENERAL_HOME" ] && fail "Missing Proof General installation (PROOFGENERAL_HOME)" INTERFACE="$PROOFGENERAL_HOME/isar/interface" [ ! -x "$INTERFACE" ] && fail "Bad interface script: \"$INTERFACE\"" #legacy settings export ISABELLE="$ISABELLE_PROCESS" export ISATOOL="$ISABELLE_TOOL" exec "$INTERFACE" "$@"