diff options
| author | Enrico Tassi | 2014-04-25 22:44:01 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-04-25 22:44:01 +0200 |
| commit | 7c65d85688b238a4c4197ea69df5d5af9dca7c30 (patch) | |
| tree | 5f1e1585c2b682192be6b6daa6ee6ef4e8c2bc04 | |
| parent | 8330f5cfd6a332df10fc806b0c0bdab6e0abe8e7 (diff) | |
coq_makefile: -I for the new stm/ dir
| -rw-r--r-- | tools/coq_makefile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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"; |