make.ml

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