diff options
| author | lmamane | 2007-07-18 14:58:41 +0000 |
|---|---|---|
| committer | lmamane | 2007-07-18 14:58:41 +0000 |
| commit | e16dafd4374edce11fe3b2a6778b5a058f44b87f (patch) | |
| tree | 83f7d58b4f6154ba8b4b657137981e0c01b97cb9 /Makefile.build | |
| parent | a3ff3200aa6a9235f314575a16f8052a94896b2b (diff) | |
Makefile: needs GNU Make 3.81
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10020 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.build b/Makefile.build index 3e92347e56..f246e20ed7 100644 --- a/Makefile.build +++ b/Makefile.build @@ -104,6 +104,10 @@ endef $(foreach f,$(.FEATURES),$(eval $(call order-only-template,$(f)))) +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) ifdef COQ_XML VO_TOOLS_DEP += $(COQDOC) |