From 7c65d85688b238a4c4197ea69df5d5af9dca7c30 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 25 Apr 2014 22:44:01 +0200
Subject: coq_makefile: -I for the new stm/ dir

---
 tools/coq_makefile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index 0e85791436..5914ea0e27 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -407,7 +407,7 @@ let variables is_install opt (args,defs) =
   -I \"$(COQLIB)library\" -I \"$(COQLIB)parsing\" -I \"$(COQLIB)pretyping\" \\
   -I \"$(COQLIB)interp\" -I \"$(COQLIB)printing\" -I \"$(COQLIB)intf\" \\
   -I \"$(COQLIB)proofs\" -I \"$(COQLIB)tactics\" -I \"$(COQLIB)tools\" \\
-  -I \"$(COQLIB)toplevel\" -I \"$(COQLIB)grammar\"";
+  -I \"$(COQLIB)toplevel\" -I \"$(COQLIB)stm\" -I \"$(COQLIB)grammar\"";
     List.iter (fun c -> print " \\
     -I \"$(COQLIB)/"; print c; print "\"") Coq_config.plugins_dirs; print "\n";
     print "ZFLAGS=$(OCAMLLIBS) $(COQSRCLIBS) -I $(CAMLP4LIB)\n\n";
-- 
cgit v1.2.3