blob: 08aa1e6ef4ed036678227044738211dea998b766 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
.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
|