* Add virtual destructors to CnfStream, Theory, OutputChannel, and
[cvc5.git] / Makefile
1 builddir = builds
2
3 .PHONY: _default_build_ all
4 _default_build_: all
5 all %:
6 @if test -e $(builddir); then \
7 echo cd $(builddir); \
8 cd $(builddir); \
9 echo $(MAKE) $@; \
10 $(MAKE) $@; \
11 else \
12 echo; \
13 echo 'Run configure first, or type "make" in a configured build directory.'; \
14 echo; \
15 fi
16
17 # synonyms for "check"
18 .PHONY: regress test
19 regress test: check