xref/hets/hets.in

	hets.in revision bea89873971a7a988b345c84f5b10c7ad6b5d602
#!/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_HOME=$INSTALL_PATH/lib/uDrawGraph
    UNIDAVINCI=$UDG_HOME/bin/uDrawGraph
fi

if [ -d $INSTALL_PATH/lib/Isabelle* ] ; then
    ISABELLE_HOME=$INSTALL_PATH/lib/Isabelle/Isabelle
fi

if [ -z "$HETS_ISABELLE" ] ; then
    HETS_ISABELLE=$ISABELLE_HOME/bin/isabelle-interface
fi

if [ -d $INSTALL_PATH/CASL-lib ] ; then
    HETS_LIB=$INSTALL_PATH/CASL-lib
fi

HETS_OWL_PARSER=$INSTALL_PATH/lib/hets/OWLParser
UNIWISH=/usr/bin/wish
HETS=$INSTALL_PATH/lib/hets/hets-$APP_VER

export HETS_LIB ISABELLE_HOME HETS_ISABELLE HETS_OWL_PARSER \
    UNIWISH UNIDAVINCI UDG_HOME
export PATH=$PATH:$INSTALL_PATH/bin

exec $HETS $@