TOP = ..
include $(TOP)/mk/boilerplate.mk

SUBDIRS = $(wildcard spec* code* clausify*)

include $(TOP)/mk/target.mk
