From c803c1015c5af10cbb5018aa3582073c430953cb Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 29 May 2020 23:44:47 +0200
Subject: Coq_makefile: adding a dependency of .coqdeps on _CoqProject.

---
 tools/CoqMakefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in
index e2ed2db728..1436da30fa 100644
--- a/tools/CoqMakefile.in
+++ b/tools/CoqMakefile.in
@@ -801,7 +801,7 @@ $(addsuffix .d,$(MLPACKFILES)): %.mlpack.d: %.mlpack
 # projects. Note that extra options might be on the command line.
 VDFILE_FLAGS:=$(if @PROJECT_FILE@,-f @PROJECT_FILE@,) $(CMDLINE_COQLIBS) $(CMDLINE_VFILES)
 
-$(VDFILE): $(VFILES)
+$(VDFILE): @PROJECT_FILE@ $(VFILES)
 	$(SHOW)'COQDEP VFILES'
 	$(HIDE)$(COQDEP) -vos -dyndep var $(VDFILE_FLAGS) $(redir_if_ok)
 
-- 
cgit v1.2.3