(* ========================================================================== *)
(* FLYSPECK - BOOK FORMALISATION                                              *)
(*                                                                            *)
(* Boot file - process this file before processing lemma files                *)
(* ========================================================================== *)


(* Parameters *)

let user = "user1";;
let snapshot = "1931";;


(* Load basic system *)

let flyspeck_dir = "/home/" ^ user ^ "/flyspeck/snapshots/" ^ snapshot;;

#load "unix.cma";;
Unix.putenv "FLYSPECK_DIR" flyspeck_dir;;

loads (flyspeck_dir ^ "/" ^ "strictbuild.hl");;