From 8ada9230a681e8c1ee23686815c866d6eebde7e8 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sat, 16 Jul 2022 15:34:00 +0900
Subject: lists: remove-nth, shuffle: Add remove-nth and shuffle.

---
 lists/Makefile | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 lists/Makefile

(limited to 'lists/Makefile')

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