hets.in revision c802a1041ed9251f8ad79139454267e802900e2a
### contact: hets-devel@informatik.uni-bremen.de
### a script that sets all HETS_*- and UNI*-variables according to the
### installation directory or according binaries found during the
### installation;
### it is post processed by some IzPack variables starting with %
else
if [ ! -d "$UDG_HOME" ] ; then
if [ -f "$UNIDAVINCI" ] ; then
UDG_HOME=`dirname $UNIDAVINCI 2> /dev/null`/..
else if [ -f "$UDRAWGRAPH_PATH" ] ; then
UDG_HOME=`dirname $UDRAWGRAPH_PATH 2> /dev/null`/..
else
fi
fi
fi
fi
else if [ ! -d "$ISABELLE_HOME" ] ; then
if [ -f "$ISABELLE_PATH" ] ; then
fi
fi
fi
if [ -f "$ISABELLE_HOME/Isabelle/bin/isabelle-interface" ] ;
fi
if [ -z "$HETS_ISABELLE" ] ; then
# on Darwin
# HETS_ISABELLE="$ISABELLE_FILE -p '/Applications/Aquamacs\ Emacs.app/Contents/MacOS/Aquamacs\ Emacs'"
fi
fi
else if [ -f "$SPASS_PATH" ] ; then
SPASS_DIR=`dirname $SPASS_PATH 2> /dev/null`
fi
fi
exec $HETS $@