hets_script revision 35d9b0c5ea024632b8affc7bd1437417986b18cd
1754N/A#!/bin/ksh93
1754N/A
1754N/ABASEDIR=@CLIENT_BASEDIR@
1754N/APROG="${.sh.file##*/}"
1754N/A
1754N/A[[ -z ${HETS_MAGIC} ]] && \
1754N/A HETS_MAGIC="${BASEDIR}/lib/hets/hets.magic"
1754N/A[[ -z ${HETS_LIB} ]] && \
1754N/A HETS_LIB="${BASEDIR}/lib/hets/hets-lib"
1754N/A[[ -z ${HETS_OWL_TOOLS} ]] && \
1754N/A HETS_OWL_TOOLS="${BASEDIR}/lib/hets/hets-owl-tools"
1754N/A[[ -z ${HETS_ISA_TOOLS} ]] && \
1754N/A HETS_ISA_TOOLS="${BASEDIR}/lib/hets/hets-isa-tools"
1754N/A[[ -z ${HETS_MAUDE_LIB} ]] && \
1754N/A HETS_MAUDE_LIB="${BASEDIR}/lib/hets/hets-maude-lib"
1754N/A[[ -z ${HETS_HOLLIGHT_TOOLS} ]] && \
1754N/A HETS_HOLLIGHT_TOOLS="${BASEDIR}/lib/hets/hets-hollight-tools"
1754N/A
1754N/A[[ -z ${HETS_OCAML_LIB_DIR} ]] && \
1754N/A HETS_OCAML_LIB_DIR="${BASEDIR}/lib/ocaml/compiler-libs"
5680N/A
5680N/A[[ -z ${MAUDE_LIB} ]] && \
5575N/A MAUDE_LIB="${BASEDIR}/share/maude"
1754N/A[[ -z ${HETS_HOL_DIR} ]] && \
1754N/A HETS_HOL_DIR="${BASEDIR}/share/hol-light"
1754N/A[[ -z ${PELLET_PATH} ]] && \
1754N/A PELLET_PATH="${BASEDIR}/share/pellet"
7111N/A[[ -z ${TWELF_LIB} ]] && \
7111N/A TWELF_LIB="${BASEDIR}/share/twelf/bin"
1754N/A
1754N/A[[ -z ${HETS_APROVE} ]] && \
1754N/A HETS_APROVE="${HETS_OWL_TOOLS}/AProVE.jar"
7111N/A[[ -z ${HETS_ONTODMU} ]] && \
1754N/A HETS_ONTODMU="${HETS_OWL_TOOLS}/OntoDMU.jar"
1754N/A
1754N/A[[ -z ${HETS_ISABELLE_LIB} ]] && \
1754N/A HETS_ISABELLE_LIB="${HETS_LIB}/Isabelle"
7111N/A
2899N/Aexport HETS_HOLLIGHT_TOOLS HETS_HOL_DIR HETS_ISA_TOOLS HETS_LIB HETS_MAGIC \
3817N/A HETS_MAUDE_LIB HETS_OCAML_LIB_DIR HETS_OWL_TOOLS MAUDE_LIB PELLET_PATH \
3817N/A TWELF_LIB HETS_APROVE HETS_ISABELLE_LIB HETS_ONTODMU
3817N/A
1754N/Aexec "${BASEDIR}/lib/hets/${PROG}" "$@"
1938N/A