From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 26 Nov 2012 13:42:27 +0000 (+0000)
Subject: Makefile fix for new versions of Make (thanks Clark for noticing this); see e.g.... 
X-Git-Tag: cvc5-1.0.0~7564
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=945fb9f4c3ab671d47748a3a021a8481b705beac;p=cvc5.git

Makefile fix for new versions of Make (thanks Clark for noticing this); see e.g. osdir.com/ml/bug-make-gnu/2011-04/msg00011.html
---

diff --git a/Makefile.builds.in b/Makefile.builds.in
index f97bf56b8..6f9c7aaab 100644
--- a/Makefile.builds.in
+++ b/Makefile.builds.in
@@ -222,6 +222,9 @@ doc-internals-builds: doc-prereq
 doc-prereq:
 	+(cd $(CURRENT_BUILD) && for dir in `find . -name Makefile | xargs grep -l BUILT_SOURCES`; do (cd `dirname "$$dir"`; (cat Makefile; echo 'doc-prereq: $$(BUILT_SOURCES)') | $(MAKE) -f- doc-prereq); done)
 
-# any other target than the default doesn't do the extra stuff above
-examples %:
+# Any other target than the default doesn't do the extra stuff above.
+# Split out "examples" target, recent Makes don't want them combined.
+examples:
+	+(cd $(CURRENT_BUILD) && $(MAKE) $@)
+%:
 	+(cd $(CURRENT_BUILD) && $(MAKE) $@)