isabelle: bin/isabelle_scala_script@e6a3c55b929b

     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 "$@"

author	wenzelm
	Thu Nov 24 15:21:54 2016 +0100 (2016-11-24)
changeset 64524	e6a3c55b929b
parent 52116	abf9fcfa65cf
permissions	-rwxr-xr-x