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