coding standard fix on SmtEngine; fix recursive make
[cvc5.git] / Makefile.subdir
1 # -*-makefile-*-
2 include $(topdir)/builds/current
3 builddir = $(topdir)/builds/$(CURRENT_BUILD)/$(srcdir)
4
5 .PHONY: _default_build_ all
6 _default_build_: all
7 %:
8 @if test -e $(builddir); then \
9 echo cd $(builddir); \
10 cd $(builddir); \
11 echo $(MAKE) $@; \
12 $(MAKE) $@; \
13 else \
14 echo; \
15 echo 'Run configure first, or type "make" in a configured build directory.'; \
16 echo; \
17 fi