diff options
| author | pboutill | 2013-01-18 16:17:23 +0000 |
|---|---|---|
| committer | pboutill | 2013-01-18 16:17:23 +0000 |
| commit | 56d407009e4a59ee4e0f5cf9aaed0b1868a7e146 (patch) | |
| tree | 20e763e3de8e232ed2575fbe040547708fb2172d | |
| parent | 667f650daefa0142eb4a2db40bcab6224947ba5a (diff) | |
I forget to use git log before git svn dcommit ...
Revert "Revert "coq_makefile: use coqdep instead of ocamldep on .ml4 files""
This reverts commit 7b9856f2eae3bd652d99864c9901f7c4af290323.
The reason for my private revert is that coqdep does not find the dependencies
of .ml4 files in AACTactics user-contrib correctly but it is a coqdep bug not
a coq_makefile one ...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16131 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 e7c2905108..c3261c1a79 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -331,7 +331,7 @@ let implicit () = print "%.cmo: %.ml4\n\t$(CAMLC) $(ZDEBUG) $(ZFLAGS) $(PP) -impl $<\n\n"; print "%.cmx: %.ml4\n\t$(CAMLOPTC) $(ZDEBUG) $(ZFLAGS) $(PP) -impl $<\n\n"; print "%.ml4.d: %.ml4\n"; - print "\t$(OCAMLDEP) -slash $(OCAMLLIBS) $(PP) -impl \"$<\" > \"$@\" || ( RV=$$?; rm -f \"$@\"; exit $${RV} )\n\n" in + print "\t$(COQDEP) -slash $(OCAMLLIBS) \"$<\" > \"$@\" || ( RV=$$?; rm -f \"$@\"; exit $${RV} )\n\n" in let ml_rules () = print "%.cmo: %.ml\n\t$(CAMLC) $(ZDEBUG) $(ZFLAGS) $<\n\n"; print "%.cmx: %.ml\n\t$(CAMLOPTC) $(ZDEBUG) $(ZFLAGS) $<\n\n"; |