1 (* ========================================================================== *)
2 (* FLYSPECK - BOOK FORMALISATION *)
4 (* Boot file - process this file before processing lemma files *)
5 (* ========================================================================== *)
11 let snapshot = "1931";;
14 (* Load basic system *)
16 let flyspeck_dir = "/home/" ^ user ^ "/flyspeck/snapshots/" ^ snapshot;;
19 Unix.putenv "FLYSPECK_DIR" flyspeck_dir;;
21 loads (flyspeck_dir ^ "/" ^ "strictbuild.hl");;