Unix.putenv "FLYSPECK_DIR" (Unix.getcwd () ^ "/text_formalization");; load_path := (Unix.getcwd () ^ "/jHOLLight") :: !load_path;; load_path := (Unix.getcwd () ^ "/text_formalization") :: !load_path;; loadt "text_formalization/strictbuild.hl";; build_silent ();;