author | Walther Neuper <wneuper@ist.tugraz.at> |
Sat, 05 Dec 2015 14:26:56 +0100 | |
changeset 59179 | 91acbb24e371 |
parent 53253 | abf9fcfa65cf |
permissions | -rwxr-xr-x |
1 #!/usr/bin/env bash
2 #
3 # Author: Makarius
4 #
5 # Isabelle/Scala script wrapper.
7 if [ -L "$0" ]; then
8 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
9 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
10 fi
13 ## settings
15 PRG="$(basename "$0")"
17 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
18 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
21 ## main
23 exec "$ISABELLE_TOOL" scala -howtorun:script -nocompdaemon "$@"