TOP=.
.include "$(TOP)/mk/base.mk"

SUBDIRS=\
	support .WAIT \
	logic smt .WAIT \
	spec symexec .WAIT \
	synth .WAIT \
	penguin

.include "$(TOP)/mk/subdir.mk"

test:
	(cd tests && $(MAKE))

clean: cleantest
cleantest:
	(cd tests && $(MAKE) clean)

.PHONY: test clean cleantest
