From 3aad5fdc0dd9136a5222ea4f0e06f3d7fcec003d Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 22 Aug 2021 01:48:10 +0900
Subject: Add Makefile.

---
 .gitignore |  5 ++++-
 Makefile   | 17 +++++++++++++++++
 2 files changed, 21 insertions(+), 1 deletion(-)
 create mode 100644 Makefile

diff --git a/.gitignore b/.gitignore
index 6f8d6ba..f632ff7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,5 @@
 *~
-temp-emacs-file.lsp
\ No newline at end of file
+temp-emacs-file.lsp
+*.cert
+*.fasl
+*.port
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..f997010
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,17 @@
+.PHONY: clean all
+
+all: top.cert
+
+top.cert: top.lisp standard-52-card-deck.cert
+	-rm -f $@
+	acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
+	test -f $@
+
+standard-52-card-deck.cert: standard-52-card-deck.lisp
+	-rm -f "$@"
+	acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
+	test -f "$@"
+
+clean:
+	rm -f top.{cert,fasl,port}
+	rm -f standard-52-card-deck.{cert,fasl,port}
-- 
cgit v1.2.3