From 7c6f69eb7a623782396075a1f126c2c665d704e4 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 14 Jul 2022 00:11:44 +0900
Subject: Add huffman-encode.

---
 Makefile | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..b4f00d1
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,12 @@
+.PHONY: clean all
+
+all: huffman-encode.cert
+
+huffman-encode.cert: huffman-encode.lisp
+	-rm -f $@
+	acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
+	test -f $@
+
+clean:
+	rm -f *.{cert,fasl,port,lx64fsl}
+
-- 
cgit v1.2.3