.PHONY: clean all

all: huffman-encode.cert perm.cert

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

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

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