diff options
| author | barras | 2009-03-09 21:52:48 +0000 |
|---|---|---|
| committer | barras | 2009-03-09 21:52:48 +0000 |
| commit | a601e248e2b850c4e7384173090dfa90dcb77d68 (patch) | |
| tree | 372c2cf54ae6e0a45fce4f754d0b5a5729eb2fb9 | |
| parent | aa1022af5ec9970c8251d2bc3b074ae128e9e163 (diff) | |
in natdynlink, lack of uniformity between general %.vo and Init/%.vo rules resulted in cyclic dependencies
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11970 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile.build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index 508b007c57..35016726ee 100644 --- a/Makefile.build +++ b/Makefile.build @@ -101,7 +101,7 @@ ifndef ORDER_ONLY_SEP $(error This Makefile needs GNU Make 3.81 or later (that is a version that supports the order-only dependency feature without major bugs.)) endif -VO_TOOLS_DEP := $(BESTCOQTOP) +VO_TOOLS_DEP := $(BESTCOQTOP) $(INITPLUGINSBEST) ifdef COQ_XML VO_TOOLS_DEP += $(COQDOC) endif @@ -599,7 +599,7 @@ states/initial.coq: states/MakeInitial.v $(INITVO) $(VO_TOOLS_STRICT) | states/M $(SHOW)'BUILD $@' $(HIDE)$(BOOTCOQTOP) -batch -notop -silent -nois -load-vernac-source states/MakeInitial.v -outputstate states/initial.coq -theories/Init/%.vo theories/Init/%.glob: theories/Init/%.v $(INITPLUGINSBEST) $(VO_TOOLS_STRICT) | theories/Init/%.v.d $(VO_TOOLS_ORDER_ONLY) +theories/Init/%.vo theories/Init/%.glob: theories/Init/%.v $(VO_TOOLS_STRICT) | theories/Init/%.v.d $(VO_TOOLS_ORDER_ONLY) $(SHOW)'COQC -nois $<' $(HIDE)rm -f theories/Init/$*.glob $(HIDE)$(BOOTCOQTOP) -nois -compile theories/Init/$* |