hets_script revision 35d9b0c5ea024632b8affc7bd1437417986b18cd
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder#!/bin/ksh93
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maeder
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederBASEDIR=@CLIENT_BASEDIR@
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederPROG="${.sh.file##*/}"
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder[[ -z ${HETS_MAGIC} ]] && \
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder HETS_MAGIC="${BASEDIR}/lib/hets/hets.magic"
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder[[ -z ${HETS_LIB} ]] && \
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder HETS_LIB="${BASEDIR}/lib/hets/hets-lib"
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder[[ -z ${HETS_OWL_TOOLS} ]] && \
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder HETS_OWL_TOOLS="${BASEDIR}/lib/hets/hets-owl-tools"
d8c71aacc9f1c8cd40a8ad8dcdad9be8854b849fChristian Maeder[[ -z ${HETS_ISA_TOOLS} ]] && \
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maeder HETS_ISA_TOOLS="${BASEDIR}/lib/hets/hets-isa-tools"
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder[[ -z ${HETS_MAUDE_LIB} ]] && \
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder HETS_MAUDE_LIB="${BASEDIR}/lib/hets/hets-maude-lib"
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder[[ -z ${HETS_HOLLIGHT_TOOLS} ]] && \
dba1eafdf5b025161058f973c44b2c880e6b8241Christian Maeder HETS_HOLLIGHT_TOOLS="${BASEDIR}/lib/hets/hets-hollight-tools"
c35d75c97d5257326d24e40fdc0ac6486f63ab55Christian Maeder
96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian Maeder[[ -z ${HETS_OCAML_LIB_DIR} ]] && \
01e383014b555bbcf639c0ca60c5810b3eff83c0Christian Maeder HETS_OCAML_LIB_DIR="${BASEDIR}/lib/ocaml/compiler-libs"
3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski
83394c6b6e6de128e71b67c9251ed7a84485d082Christian Maeder[[ -z ${MAUDE_LIB} ]] && \
dba1eafdf5b025161058f973c44b2c880e6b8241Christian Maeder MAUDE_LIB="${BASEDIR}/share/maude"
ce8b15da31cd181b7e90593cbbca98f47eda29d6Till Mossakowski[[ -z ${HETS_HOL_DIR} ]] && \
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder HETS_HOL_DIR="${BASEDIR}/share/hol-light"
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder[[ -z ${PELLET_PATH} ]] && \
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder PELLET_PATH="${BASEDIR}/share/pellet"
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder[[ -z ${TWELF_LIB} ]] && \
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maeder TWELF_LIB="${BASEDIR}/share/twelf/bin"
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder
2e2094a642e3775b0d76b890556407941d3a53b6Christian Maeder[[ -z ${HETS_APROVE} ]] && \
2e2094a642e3775b0d76b890556407941d3a53b6Christian Maeder HETS_APROVE="${HETS_OWL_TOOLS}/AProVE.jar"
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder[[ -z ${HETS_ONTODMU} ]] && \
e8db9a65830cf71504e33c6f441a67b4d184a3caChristian Maeder HETS_ONTODMU="${HETS_OWL_TOOLS}/OntoDMU.jar"
c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder
8410667510a76409aca9bb24ff0eda0420088274Christian Maeder[[ -z ${HETS_ISABELLE_LIB} ]] && \
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder HETS_ISABELLE_LIB="${HETS_LIB}/Isabelle"
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder
8410667510a76409aca9bb24ff0eda0420088274Christian Maederexport HETS_HOLLIGHT_TOOLS HETS_HOL_DIR HETS_ISA_TOOLS HETS_LIB HETS_MAGIC \
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich HETS_MAUDE_LIB HETS_OCAML_LIB_DIR HETS_OWL_TOOLS MAUDE_LIB PELLET_PATH \
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maeder TWELF_LIB HETS_APROVE HETS_ISABELLE_LIB HETS_ONTODMU
4d56f2fa72e4aec20eb827c11ed49c8cbb7014bdChristian Maeder
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maederexec "${BASEDIR}/lib/hets/${PROG}" "$@"
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maeder