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.

---
 Makefile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index f86226c..c30f9d8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,16 +1,16 @@
-.PHONY: clean all
+subdirs := lists
 
-all: huffman-encode.cert perm.cert
+.PHONY: clean all $(subdirs)
+
+all: huffman-encode.cert $(subdirs)
 
 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 $@
+$(subdirs):
+	$(MAKE) -C $@
 
 clean:
 	rm -f *.{cert,fasl,port,lx64fsl}
-- 
cgit v1.2.3