* Add virtual destructors to CnfStream, Theory, OutputChannel, and
[cvc5.git] / Makefile.am
1 include $(top_srcdir)/config/doxygen.am
2
3 AM_CXXFLAGS = -Wall
4
5 AUTOMAKE_OPTIONS = foreign
6 ACLOCAL_AMFLAGS = -I config
7
8 SUBDIRS = src test contrib
9
10 .PHONY: regress0 regress1 regress2 regress3
11 regress0 regress1 regress2 regress3:
12 (cd test && $(MAKE) $(AM_MAKEFLAGS) $@) || exit 1
13