| author | wenzelm |
| Sat, 20 Dec 2008 11:39:27 +0100 | |
| changeset 29143 | 72c960b2b83e |
| parent 28509 | 0ef08aa52f2e |
| child 34275 | 8f105e6a2b88 |
| permissions | -rwxr-xr-x |
| 28251 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
5 |
# DESCRIPTION: Proof General / Emacs interface wrapper |
|
6 |
||
7 |
||
8 |
## diagnostics |
|
9 |
||
10 |
function fail() |
|
11 |
{
|
|
12 |
echo "$1" >&2 |
|
13 |
exit 2 |
|
14 |
} |
|
15 |
||
16 |
||
17 |
## main |
|
18 |
||
| 28509 | 19 |
[ -z "$PROOFGENERAL_HOME" ] && fail "Missing Proof General installation (PROOFGENERAL_HOME)" |
20 |
||
| 28251 | 21 |
INTERFACE="$PROOFGENERAL_HOME/isar/interface" |
22 |
[ ! -x "$INTERFACE" ] && fail "Bad interface script: \"$INTERFACE\"" |
|
23 |
||
24 |
exec "$INTERFACE" "$@" |