support nonstandard, unconfigured builds (e.g., "./configure debug" followed by ...
[cvc5.git] / Makefile.am
1 AM_CXXFLAGS = -Wall
2
3 AUTOMAKE_OPTIONS = foreign
4 ACLOCAL_AMFLAGS = -I config
5
6 SUBDIRS = src test doc contrib
7
8 @mk_include@ @top_srcdir@/Makefile.reconf_args
9
10 .PHONY: production debug default competition
11 production debug default competition:
12 cd @top_srcdir@; \
13 dir="builds/`config/config.guess`/`config/build-type $@ $(BTARGS)`"; \
14 if test -e "$$dir"; then \
15 cd "$$dir" && $(MAKE); \
16 else \
17 ./configure --with-build=$@ $(CONFARGS) && $(MAKE); \
18 fi
19