blob: f86226c025f264b391ff75885513d22cdf52b5f5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
.PHONY: clean all
all: huffman-encode.cert perm.cert
huffman-encode.cert: huffman-encode.lisp
-rm -f $@
acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
test -f $@
perm.cert: perm.lisp
-rm -f $@
acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
test -f $@
clean:
rm -f *.{cert,fasl,port,lx64fsl}
|
