From f91fec3cc4c7ccc581f08401b7768f44b5f335ad Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 22 Aug 2021 18:13:41 +0900
Subject: Add Makefile.

---
 .gitignore     |  4 ++++
 Makefile       | 15 +++++++++++++++
 blackjack.lisp |  2 +-
 3 files changed, 20 insertions(+), 1 deletion(-)
 create mode 100644 Makefile

diff --git a/.gitignore b/.gitignore
index 06beb87..b28c472 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,5 @@
 temp-emacs-file.lsp
+*~
+*.fasl
+*.port
+*.cert
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..08aa1e6
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,15 @@
+.PHONY: clean all
+
+all: blackjack.cert
+
+standard-52-card-deck/top.cert: standard-52-card-deck/top.lisp
+	make -C "standard-52-card-deck"
+
+blackjack.cert: blackjack.lisp standard-52-card-deck/top.cert
+	-rm -f $@
+	acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
+	test -f $@
+
+clean:
+	rm -f blackjack.{cert,fasl,port}
+	make -C "standard-52-card-deck" clean
diff --git a/blackjack.lisp b/blackjack.lisp
index 4789912..e21c885 100644
--- a/blackjack.lisp
+++ b/blackjack.lisp
@@ -1,6 +1,6 @@
 (in-package "ACL2")
 
-(include-book "standard-52-card-deck/standard-52-card-deck")
+(include-book "standard-52-card-deck/top")
 
 (defun sum (x)
   (declare (xargs :guard (nat-listp x)))
-- 
cgit v1.2.3