From 8de2295f3becd3aa7116c0710122efd63144b0ce Mon Sep 17 00:00:00 2001
From: pboutill
Date: Fri, 10 Jun 2011 18:34:54 +0000
Subject: no more errors at _stubs.c.d generation

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14179 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile.build b/Makefile.build
index 3e029ad8a6..587be3bd79 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -894,6 +894,10 @@ checker/%.mllib.d: $(D_DEPEND_BEFORE_SRC) checker/%.mllib $(D_DEPEND_AFTER_SRC)
 	$(SHOW)'COQDEP    $<'
 	$(HIDE)$(COQDEPBOOT) $(DEPNATDYN) -slash "$<" $(TOTARGET)
 
+%_stubs.c.d: $(D_DEPEND_BEFORE_SRC) %_stubs.c $(D_DEPEND_AFTER_SRC)
+	$(SHOW)'CCDEP	$<'
+	$(HIDE)echo "$@ $(@:.c.d=.o): $(@:.c.d=.c)" > $@
+
 %.c.d: $(D_DEPEND_BEFORE_SRC) %.c $(D_DEPEND_AFTER_SRC) $(GENHFILES)
 	$(SHOW)'CCDEP     $<'
 	$(HIDE)$(CC) -MM -MQ "$@" -MQ "$(<:.c=.o)" $(CFLAGS) -isystem $(CAMLHLIB) $< $(TOTARGET)
-- 
cgit v1.2.3