author | haftmann |
Tue, 20 Jun 2017 08:01:56 +0200 | |
changeset 66124 | 7f0088571576 |
parent 52116 | abf9fcfa65cf |
child 73705 | ac07f6be27ea |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # Isabelle/Scala script wrapper. if [ -L "$0" ]; then TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@" fi ## settings PRG="$(basename "$0")" ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)" source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 ## main exec "$ISABELLE_TOOL" scala -howtorun:script -nocompdaemon "$@"