git://colo12-c703.uibk.ac.at / Flyspeck/.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch (parent: 4959bbf)
Update from HH master
authorCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Tue, 27 Aug 2013 13:20:45 +0000 (15:20 +0200)
committerCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Tue, 27 Aug 2013 13:20:45 +0000 (15:20 +0200)
make.ml patch | blob | history

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";;
Unnamed repository; edit this file 'description' to name the repository.