hets_script revision 35d9b0c5ea024632b8affc7bd1437417986b18cd
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder[[ -z ${HETS_MAGIC} ]] && \
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder HETS_MAGIC="${BASEDIR}/lib/hets/hets.magic"
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder[[ -z ${HETS_LIB} ]] && \
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder HETS_OWL_TOOLS="${BASEDIR}/lib/hets/hets-owl-tools"
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maeder HETS_ISA_TOOLS="${BASEDIR}/lib/hets/hets-isa-tools"
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder HETS_MAUDE_LIB="${BASEDIR}/lib/hets/hets-maude-lib"
dba1eafdf5b025161058f973c44b2c880e6b8241Christian Maeder HETS_HOLLIGHT_TOOLS="${BASEDIR}/lib/hets/hets-hollight-tools"
01e383014b555bbcf639c0ca60c5810b3eff83c0Christian Maeder HETS_OCAML_LIB_DIR="${BASEDIR}/lib/ocaml/compiler-libs"
83394c6b6e6de128e71b67c9251ed7a84485d082Christian Maeder[[ -z ${MAUDE_LIB} ]] && \
ce8b15da31cd181b7e90593cbbca98f47eda29d6Till Mossakowski[[ -z ${HETS_HOL_DIR} ]] && \
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder[[ -z ${PELLET_PATH} ]] && \
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder[[ -z ${TWELF_LIB} ]] && \
2e2094a642e3775b0d76b890556407941d3a53b6Christian Maeder[[ -z ${HETS_APROVE} ]] && \
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder[[ -z ${HETS_ONTODMU} ]] && \
e8db9a65830cf71504e33c6f441a67b4d184a3caChristian Maeder HETS_ONTODMU="${HETS_OWL_TOOLS}/OntoDMU.jar"
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
eee4b2ee739f163e09d6af6e45c025681e6c01a0Christian Maederexec "${BASEDIR}/lib/hets/${PROG}" "$@"