Searched defs:getenv (Results 1 - 1 of 1) sorted by relevance

/hets/HolLight/OcamlTools/exportTools/
H A Dexport.ml2 let getenv env_var = var
3 try Sys.getenv env_var
8 let hol_dir = realpath (getenv "HETS_HOL_DIR");;
9 let ocaml_source_dir = getenv "HETS_OCAML_LIB_DIR";;
10 let ocaml_tools_dir = getenv "HETS_HOLLIGHT_TOOLS";;

Completed in 15 milliseconds