From 11baab578f78913dd282c4a0a9f882aed9070787 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Fri, 15 Jul 2022 23:30:04 +0900
Subject: perm: Update Makefile.

* Makefile(all): Add perm.cert
* Makefile(perm.cert): New rule.
---
 Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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}
 
-- 
cgit v1.2.3