From c941fc98f9a707b2a81eb3a1b36d1f497632b04b Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 22 May 2008 11:21:47 +0000
Subject: Should fix the dependancy issue mentioned by J.Forest about NMake: 
 .v.d are created exactly for all $(VFILES), which was only a  "find -name
 .v", so $(GENVFILES) should be added to $(VFILES)

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

diff --git a/Makefile b/Makefile
index 96f0394c81..8e992cf4e3 100644
--- a/Makefile
+++ b/Makefile
@@ -41,7 +41,8 @@ export MLFILES  := $(shell find . $(FIND_VCS_CLAUSE) '(' -name '*.ml'  ')' $(FIN
 export MLIFILES := $(shell find . $(FIND_VCS_CLAUSE) '(' -name '*.mli' ')' $(FIND_PRINTF_P)) \
   $(GENMLIFILES)
 export ML4FILES := $(shell find . $(FIND_VCS_CLAUSE) '(' -name '*.ml4' ')' $(FIND_PRINTF_P))
-export VFILES   := $(shell find . $(FIND_VCS_CLAUSE) '(' -name '*.v'   ')' $(FIND_PRINTF_P))
+export VFILES   := $(shell find . $(FIND_VCS_CLAUSE) '(' -name '*.v'   ')' $(FIND_PRINTF_P)) \
+  $(GENVFILES)
 export CFILES   := $(shell find kernel/byterun -name '*.c')
 
 export ML4FILESML:= $(ML4FILES:.ml4=.ml)
-- 
cgit v1.2.3