| author | wenzelm |
| Thu, 08 Apr 2021 13:09:44 +0200 | |
| changeset 60187 | 751b8a13c271 |
| 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 "$@"