text_formalization/boot.hl

   1 (* ========================================================================== *)
   2 (* FLYSPECK - BOOK FORMALISATION                                              *)
   3 (*                                                                            *)
   4 (* Boot file - process this file before processing lemma files                *)
   5 (* ========================================================================== *)
   6
   7
   8 (* Parameters *)
   9
  10 let user = "user1";;
  11 let snapshot = "1931";;
  12
  13
  14 (* Load basic system *)
  15
  16 let flyspeck_dir = "/home/" ^ user ^ "/flyspeck/snapshots/" ^ snapshot;;
  17
  18 #load "unix.cma";;
  19 Unix.putenv "FLYSPECK_DIR" flyspeck_dir;;
  20
  21 loads (flyspeck_dir ^ "/" ^ "strictbuild.hl");;