Update from HH

[Flyspeck/.git] / make.ml

diff --git a/make.ml b/make.ml
index 9ba496f..530646e 100644 (file)
--- a/make.ml
+++ b/make.ml
@@ -1,3 +1,4 @@
+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";;