subdirs := lists

.PHONY: clean all $(subdirs)

all: huffman-encode.cert $(subdirs)

huffman-encode.cert: huffman-encode.lisp
	-rm -f $@
	acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
	test -f $@

$(subdirs):
	$(MAKE) -C $@

clean:
	rm -f *.{cert,fasl,port,lx64fsl}