From 73df1945b31c0beee88cf4476df4ccd09d31403b Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Wed, 26 Jun 2024 20:50:18 +0200
Subject: Import Coq project

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..1e32cef
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,20 @@
+# Modified from the Logical Foundations Makefile
+
+COQMFFLAGS := -Q . mininix
+
+ALLVFILES := maptools.v relations.v expr.v shared.v binop.v matching.v sem.v \
+             interpreter.v complete.v sound.v correct.v semprop.v
+
+build: Makefile.coq
+	$(MAKE) -f Makefile.coq
+
+clean::
+	if [ -e Makefile.coq ]; then $(MAKE) -f Makefile.coq cleanall; fi
+	$(RM) $(wildcard Makefile.coq Makefile.coq.conf)
+
+Makefile.coq:
+	coq_makefile $(COQMFFLAGS) -o Makefile.coq $(ALLVFILES)
+
+-include Makefile.coq
+
+.PHONY: build clean
-- 
cgit v1.2.3