hets_script revision 21155e63bac193abc764d791360132392eb79c4d
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
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_MAGIC=/usr/lib/hets/hets.magic
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_LIB=/usr/lib/hets/hets-lib
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_OWL_TOOLS=/usr/lib/hets/hets-owl-tools
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_ISABELLE_LIB=/usr/lib/hets/hets-lib/Isabelle
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_ISA_TOOLS=/usr/lib/hets/hets-isa-tools
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_APROVE=$HETS_OWL_TOOLS/AProVE.jar
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_ONTODMU=$HETS_OWL_TOOLS/OntoDMU.jar
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_MAUDE_LIB=/usr/lib/hets/hets-maude-lib
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_HOLLIGHT_TOOLS=/usr/lib/hets/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
21155e63bac193abc764d791360132392eb79c4dcmaederexec /usr/lib/hets/hets-server ${1+"$@"}