.PHONY: clean all

all: blackjack.cert

standard-52-card-deck/top.cert: standard-52-card-deck/top.lisp
	make -C "standard-52-card-deck"

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

clean:
	rm -f blackjack.{cert,fasl,port}
	make -C "standard-52-card-deck" clean