21155e63bac193abc764d791360132392eb79c4dcmaeder#!/bin/sh -e
21155e63bac193abc764d791360132392eb79c4dcmaeder#
21155e63bac193abc764d791360132392eb79c4dcmaeder# this script is part of Hets
21155e63bac193abc764d791360132392eb79c4dcmaeder# - Heterogenous Tool Set -
21155e63bac193abc764d791360132392eb79c4dcmaeder#
21155e63bac193abc764d791360132392eb79c4dcmaeder
21155e63bac193abc764d791360132392eb79c4dcmaeder#
21155e63bac193abc764d791360132392eb79c4dcmaeder# Setting environment variables
21155e63bac193abc764d791360132392eb79c4dcmaeder# and starting Hets
21155e63bac193abc764d791360132392eb79c4dcmaeder#
21155e63bac193abc764d791360132392eb79c4dcmaeder
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaederexport HETS_MAGIC=/usr/lib/hets-server/hets.magic
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaederexport HETS_LIB=/usr/lib/hets-server/hets-lib
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaederexport HETS_OWL_TOOLS=/usr/lib/hets-server/hets-owl-tools
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaederexport HETS_ISABELLE_LIB=/usr/lib/hets-server/hets-lib/Isabelle
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaederexport HETS_ISA_TOOLS=/usr/lib/hets-server/hets-isa-tools
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_APROVE=$HETS_OWL_TOOLS/AProVE.jar
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_ONTODMU=$HETS_OWL_TOOLS/OntoDMU.jar
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaederexport HETS_MAUDE_LIB=/usr/lib/hets-server/hets-maude-lib
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaederexport HETS_HOLLIGHT_TOOLS=/usr/lib/hets-server/hets-hollight-tools
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_HOL_DIR=/usr/share/hol-light
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_OCAML_LIB_DIR=/usr/lib/ocaml/compiler-libs
21155e63bac193abc764d791360132392eb79c4dcmaederexport PELLET_PATH=/usr/share/pellet
21155e63bac193abc764d791360132392eb79c4dcmaederexport TWELF_LIB=/usr/share/twelf/bin
21155e63bac193abc764d791360132392eb79c4dcmaederexport MAUDE_LIB=/usr/share/maude
21155e63bac193abc764d791360132392eb79c4dcmaeder
219b9ee539c4fdc8db8ddb1160d05076446a804ecmaederexec /usr/lib/hets-server/hets-server ${1+"$@"}