Cross Reference: /hets/utils/debian/auto-package/debian-server/hets_script

	hets_script revision 21155e63bac193abc764d791360132392eb79c4d
#!/bin/sh -e
#
# this script is part of Hets
# - Heterogenous Tool Set -
#

#
# Setting environment variables
# and starting Hets
#

export HETS_MAGIC=/usr/lib/hets/hets.magic
export HETS_LIB=/usr/lib/hets/hets-lib
export HETS_OWL_TOOLS=/usr/lib/hets/hets-owl-tools
export HETS_ISABELLE_LIB=/usr/lib/hets/hets-lib/Isabelle
export HETS_ISA_TOOLS=/usr/lib/hets/hets-isa-tools
export HETS_APROVE=$HETS_OWL_TOOLS/AProVE.jar
export HETS_ONTODMU=$HETS_OWL_TOOLS/OntoDMU.jar
export HETS_MAUDE_LIB=/usr/lib/hets/hets-maude-lib
export HETS_HOLLIGHT_TOOLS=/usr/lib/hets/hets-hollight-tools
export HETS_HOL_DIR=/usr/share/hol-light
export HETS_OCAML_LIB_DIR=/usr/lib/ocaml/compiler-libs
export PELLET_PATH=/usr/share/pellet
export TWELF_LIB=/usr/share/twelf/bin
export MAUDE_LIB=/usr/share/maude

exec /usr/lib/hets/hets-server ${1+"$@"}