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.

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

(limited to 'Makefile')

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