diff options
| author | pboutill | 2012-09-04 17:45:44 +0000 |
|---|---|---|
| committer | pboutill | 2012-09-04 17:45:44 +0000 |
| commit | 74a7deb56575f6ed86208329570a19b75c08390d (patch) | |
| tree | 387292aa329617b4ac79d9ed59e012ea11d8bd47 | |
| parent | 9843982643dd71214c49c161cd324acaa9a3f488 (diff) | |
Erase %.vo dependency to the phony target states
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15768 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 37bedcf3e7..d16f474b12 100644 --- a/Makefile.build +++ b/Makefile.build @@ -897,7 +897,7 @@ plugins/%_mod.ml: plugins/%.mllib $(CAMLP4O) $(PR_O) -I $(CAMLLIB) tools/compat5.cmo $${DEPS} $(CAMLP4USE) $(CAMLP4COMPAT) -impl $< -o $@; \ else echo $< : Dependency $${DEPS} not ready yet; false; fi -%.vo %.glob: %.v states $(VO_TOOLS_STRICT) | %.v.d $(VO_TOOLS_ORDER_ONLY) +%.vo %.glob: %.v theories/Init/Prelude.vo $(VO_TOOLS_STRICT) | %.v.d $(VO_TOOLS_ORDER_ONLY) $(SHOW)'COQC $<' $(HIDE)rm -f $*.glob $(HIDE)$(BOOTCOQC) $* |