X-Git-Url: http://colo12-c703.uibk.ac.at/git/?p=Flyspeck%2F.git;a=blobdiff_plain;f=make.ml;fp=make.ml;h=530646ee856c77973dd4cb75bbcd8bb0ad773c40;hp=9ba496fcf24435c06eea14e9cd3f1fec7c9ae15c;hb=3d2b79422d9619a1f2dc915d389eab1f6454efeb;hpb=4959bbf56f639e0c6a19eb9745f45223505135b9

diff --git a/make.ml b/make.ml
index 9ba496f..530646e 100644
--- 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";;