Fixes to the build system:
[cvc5.git] / Makefile.subdir
1 .PHONY: _default_build_
2 _default_build_: all
3 %:
4 @if test -e $(builddir); then \
5 echo cd $(builddir); \
6 cd $(builddir); \
7 echo $(MAKE) $@; \
8 $(MAKE) $@; \
9 else \
10 echo; \
11 echo 'Run configure first, or type "make" in a configured build directory.'; \
12 echo; \
13 fi