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