build system cleanup; test system separation into white-box, black-box, and public...
[cvc5.git] / Makefile.subdir
1 include $(topdir)/builds/current
2 builddir = $(topdir)/builds/$(CURRENT_BUILD)/$(srcdir)
3
4 .PHONY: _default_build_
5 _default_build_: all
6 %:
7 @if test -e $(builddir); then \
8 echo cd $(builddir); \
9 cd $(builddir); \
10 echo $(MAKE) $@; \
11 $(MAKE) $@; \
12 else \
13 echo; \
14 echo 'Run configure first, or type "make" in a configured build directory.'; \
15 echo; \
16 fi