wenzelm@10555: #!/usr/bin/env bash
wenzelm@2292: #
wenzelm@2308: # $Id$
wenzelm@9786: # Author: Markus Wenzel, TU Muenchen
wenzelm@2308: #
wenzelm@11550: # Smart selection of isabelle-process versus isabelle-interface.
wenzelm@2292: 
wenzelm@11550: THIS=$(cd "$(dirname "$0")"; pwd)
wenzelm@11550: NAME="$(basename "$0")"
wenzelm@2292: 
wenzelm@11566: case "$NAME" in
wenzelm@11566:   I*)
wenzelm@11566:     PRG=isabelle-interface
wenzelm@11566:     ;;
wenzelm@11566:   i*)
wenzelm@11566:     PRG=isabelle-process
wenzelm@11566:     ;;
wenzelm@11566: esac
wenzelm@9786: 
wenzelm@11550: exec "$THIS/$PRG" "$@"