Lines Matching refs:BASEDIR
3 BASEDIR=@CLIENT_BASEDIR@
7 HETS_MAGIC="${BASEDIR}/lib/hets/hets.magic"
9 HETS_LIB="${BASEDIR}/lib/hets/hets-lib"
11 HETS_OWL_TOOLS="${BASEDIR}/lib/hets/hets-owl-tools"
13 HETS_ISA_TOOLS="${BASEDIR}/lib/hets/hets-isa-tools"
15 HETS_MAUDE_LIB="${BASEDIR}/lib/hets/hets-maude-lib"
17 HETS_HOLLIGHT_TOOLS="${BASEDIR}/lib/hets/hets-hollight-tools"
20 HETS_OCAML_LIB_DIR="${BASEDIR}/lib/ocaml/compiler-libs"
23 MAUDE_LIB="${BASEDIR}/share/maude"
25 HETS_HOL_DIR="${BASEDIR}/share/hol-light"
27 PELLET_PATH="${BASEDIR}/share/pellet"
29 TWELF_LIB="${BASEDIR}/share/twelf/bin"
43 exec "${BASEDIR}/lib/hets/${PROG}" "$@"