xref/hets/hets.in

	hets.in revision 84c3b16fd18eeee7515d815a966cc10b6c6d2c0e
#!/bin/bash

### author: Klaus L�ttich <luettich@tzi.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 %

if [ -d $INSTALL_PATH/lib/uDrawGraph ] ; then
    UDG_PATH_NAME=`ls $INSTALL_PATH/lib/uDrawGraph | grep uDrawGraph`
    UDG_PATH=$INSTALL_PATH/lib/uDrawGraph/$UDG_PATH_NAME
    UNIDAVINCI=$UDG_PATH/bin/uDrawGraph
fi
if [ -d $$INSTALL_PATH/lib/Isabelle* ] ; then
    ISABELLE_HOME=$INSTALL_PATH/lib/Isabelle/Isabelle
fi
if [ -d $INSTALL_PATH/CASL-lib ] ; then
    HETS_LIB=$INSTALL_PATH/CASL-lib
fi

HETS_OWL_PARSER=$INSTALL_PATH/src/HetCATS/OWL_DL
UNIWISH=/usr/bin/wish
HETS=$INSTALL_PATH/lib/hets/hets-$APP_VER

export HETS_LIB HETS_ISABELLE HETS_OWL_PARSER UNIWISH UNIDAVINCI

exec $HETS $@