From: Cezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Date: Tue, 27 Aug 2013 13:20:45 +0000 (+0200)
Subject: Update from HH
X-Git-Url: http://colo12-c703.uibk.ac.at/git/?a=commitdiff_plain;h=HEAD;p=Flyspeck%2F.git

Update from HH
---

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";;