| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Tue, 07 Feb 2017 08:57:42 +0100 | |
| changeset 59316 | 3a60188d9cc3 |
| 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 "$@"