From 56d407009e4a59ee4e0f5cf9aaed0b1868a7e146 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Fri, 18 Jan 2013 16:17:23 +0000
Subject: 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
---
 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 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";
-- 
cgit v1.2.3