diff options
| author | lmamane | 2007-01-17 18:11:37 +0000 |
|---|---|---|
| committer | lmamane | 2007-01-17 18:11:37 +0000 |
| commit | 44b94d508b145dae076e63ad75330575a12063bc (patch) | |
| tree | 81cb42a15b78b5425be46801cefdf816fc5d3ac6 | |
| parent | b6e48edfe3a3df123ea8e3de81d96866ae54d553 (diff) | |
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
| -rw-r--r-- | Makefile | 24 |
1 files changed, 12 insertions, 12 deletions
@@ -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 |