author | wenzelm |
Sun, 27 Jul 2014 15:40:19 +0200 | |
changeset 59037 | f11f3d7589b1 |
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 "$@"