1177924Simp#!/usr/bin/env bash 2177924Simp# 3177924Simp# Author: Makarius 4177924Simp# 5177924Simp# Isabelle/Scala script wrapper. 6177924Simp 7177924Simpif [ -L "$0" ]; then 8177924Simp TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" 9177924Simp exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@" 10177924Simpfi 11177924Simp 12177924Simp 13177924Simp## settings 14177924Simp 15177924SimpPRG="$(basename "$0")" 16177924Simp 17177924SimpISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)" 18177924Simpsource "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 19177924Simp 20177924Simp 21177924Simp## main 22177924Simp 23177924Simpexec "$ISABELLE_TOOL" scala -howtorun:script -nocompdaemon "$@" 24177924Simp 25177924Simp