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