From a4d372963f0a98186560fb7367324c604b93095a Mon Sep 17 00:00:00 2001
From: lmamane
Date: Wed, 25 Mar 2009 12:05:41 +0000
Subject: make coqdep_boot in stage1, not stage2

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12014 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build  | 2 +-
 Makefile.common | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.build b/Makefile.build
index 517ff3a624..5894c133b9 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -509,7 +509,7 @@ theories/Numbers/Natural/BigN/NMake.v: theories/Numbers/Natural/BigN/NMake_gen.m
 
 printers: $(DEBUGPRINTERS)
 
-tools:: $(TOOLS) $(DEBUGPRINTERS)
+tools:: $(TOOLS) $(DEBUGPRINTERS) $(COQDEPBOOT)
 
 # coqdep_boot : a basic version of coqdep, with almost no dependencies
 
diff --git a/Makefile.common b/Makefile.common
index e61a4e28a0..b17d371955 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -87,7 +87,7 @@ COQTEX:=bin/coq-tex$(EXE)
 COQWC:=bin/coqwc$(EXE)
 COQDOC:=bin/coqdoc$(EXE)
 
-TOOLS:=$(COQDEP) $(COQDEPBOOT) $(COQMAKEFILE) $(GALLINA) $(COQTEX) $(COQWC) $(COQDOC)
+TOOLS:=$(COQDEP) $(COQMAKEFILE) $(GALLINA) $(COQTEX) $(COQWC) $(COQDOC)
 
 ###########################################################################
 # Documentation
-- 
cgit v1.2.3