author | paulson |
Fri, 29 Apr 2005 18:13:28 +0200 | |
changeset 15890 | ff6787d730d5 |
parent 15864 | cc1b4a289321 |
child 15967 | f9163c6f69d6 |
permissions | -rwxr-xr-x |
10555 | 1 |
#!/usr/bin/env bash |
2292 | 2 |
# |
2308 | 3 |
# $Id$ |
9786 | 4 |
# Author: Markus Wenzel, TU Muenchen |
2308 | 5 |
# |
11550
915c5de6480f
smart selection of isabelle-process versus isabelle-interface;
wenzelm
parents:
10905
diff
changeset
|
6 |
# Smart selection of isabelle-process versus isabelle-interface. |
2292 | 7 |
|
15843 | 8 |
if [ -L "$0" ]; then |
9 |
TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" |
|
15864 | 10 |
exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@" |
15843 | 11 |
fi |
12 |
||
13 |
THIS=$(cd "$(dirname "$0")"; pwd) |
|
11550
915c5de6480f
smart selection of isabelle-process versus isabelle-interface;
wenzelm
parents:
10905
diff
changeset
|
14 |
NAME="$(basename "$0")" |
2292 | 15 |
|
11566 | 16 |
case "$NAME" in |
17 |
I*) |
|
18 |
PRG=isabelle-interface |
|
19 |
;; |
|
20 |
i*) |
|
21 |
PRG=isabelle-process |
|
22 |
;; |
|
23 |
esac |
|
9786 | 24 |
|
11550
915c5de6480f
smart selection of isabelle-process versus isabelle-interface;
wenzelm
parents:
10905
diff
changeset
|
25 |
exec "$THIS/$PRG" "$@" |