.PHONY: clean all

all: top.cert

top.cert: top.lisp standard-52-card-deck.cert
	-rm -f $@
	acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
	test -f $@

standard-52-card-deck.cert: standard-52-card-deck.lisp
	-rm -f "$@"
	acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
	test -f "$@"

clean:
	rm -f top.{cert,fasl,port}
	rm -f standard-52-card-deck.{cert,fasl,port}