diff options
Diffstat (limited to 'lists/Makefile')
| -rw-r--r-- | lists/Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/lists/Makefile b/lists/Makefile new file mode 100644 index 0000000..4f5d8ca --- /dev/null +++ b/lists/Makefile @@ -0,0 +1,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} + |