summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index b4f00d1..f86226c 100644
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,17 @@
.PHONY: clean all
-all: huffman-encode.cert
+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}