Searched refs:HETS_HOLLIGHT_TOOLS (Results 1 - 6 of 6) sorted by relevance

/hets/debian/
H A Dhets_script16 [[ -z ${HETS_HOLLIGHT_TOOLS} ]] && \
17 HETS_HOLLIGHT_TOOLS="${BASEDIR}/lib/hets/hets-hollight-tools"
39 export HETS_HOLLIGHT_TOOLS HETS_HOL_DIR HETS_ISA_TOOLS HETS_LIB HETS_MAGIC \
/hets/HolLight/OcamlTools/
H A DMakefile4 HETS_HOLLIGHT_TOOLS=$(PWD)/exportTools/ macro
9 HETS_HOLLIGHT_TOOLS=${HETS_HOLLIGHT_TOOLS} \
/hets/HolLight/OcamlTools/exportTools/
H A Dexport.ml10 let ocaml_tools_dir = getenv "HETS_HOLLIGHT_TOOLS";;
/hets/utils/debian/auto-package/debian-server/
H A Dhets_script20 export HETS_HOLLIGHT_TOOLS=/usr/lib/hets-server/hets-hollight-tools
/hets/utils/nightly/
H A Dcronjob.sh16 HETS_HOLLIGHT_TOOLS=/home/linux-bkb/hets-hollight-tools
28 export HETS_HOLLIGHT_TOOLS
350 cp -p HolLight/OcamlTools/exportTools/*.ml $HETS_HOLLIGHT_TOOLS/
/hets/utils/debian/auto-package/debian-common/
H A Dhets_script208 export HETS_HOLLIGHT_TOOLS=/usr/lib/hets/hets-hollight-tools

Completed in 2140 milliseconds