.PHONY: clean all

all: remove-nth.cert shuffle.cert perm.cert

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

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

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

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