From 44b94d508b145dae076e63ad75330575a12063bc Mon Sep 17 00:00:00 2001
From: lmamane
Date: Wed, 17 Jan 2007 18:11:37 +0000
Subject: Move definition of VO_TOOLS_DEP before first use of it.

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

diff --git a/Makefile b/Makefile
index 62f6202624..843a8f6404 100644
--- a/Makefile
+++ b/Makefile
@@ -358,6 +358,18 @@ endef
 
 $(foreach f,$(.FEATURES),$(eval $(call order-only-template,$(f))))
 
+ifdef NO_RECOMPILE_LIB
+ ifdef ORDER_ONLY_SEP
+  VO_TOOLS_DEP += $(ORDER_ONLY_SEP)
+ else
+  $(error NO_RECOMPILE_LIB needs GNU make version 3.80 or later; that is a version that supports order-only dependencies)
+ endif
+endif
+VO_TOOLS_DEP += $(BESTCOQTOP)
+ifdef COQ_XML
+ VO_TOOLS_DEP += $(COQDOC)
+endif
+
 ###########################################################################
 # Compilation option for .c files 
 ###########################################################################
@@ -1121,18 +1133,6 @@ ALLVO = $(INITVO) $(THEORIESVO) $(CONTRIBVO)
 
 SYNTAXPP=syntax/PPConstr.v syntax/PPCases.v
 
-ifdef NO_RECOMPILE_LIB
- ifdef ORDER_ONLY_SEP
-  VO_TOOLS_DEP += $(ORDER_ONLY_SEP)
- else
-  $(error NO_RECOMPILE_LIB needs GNU make version 3.80 or later; that is a version that supports order-only dependencies)
- endif
-endif
-VO_TOOLS_DEP += $(BESTCOQTOP)
-ifdef COQ_XML
- VO_TOOLS_DEP += $(COQDOC)
-endif
-
 states/initial.coq: states/MakeInitial.v $(INITVO) $(VO_TOOLS_DEP)
 	$(BOOTCOQTOP) -batch -notop -silent -nois -load-vernac-source states/MakeInitial.v -outputstate states/initial.coq
 
-- 
cgit v1.2.3