From 04c3cd732ba75f22580b8cae4f8e6a64151d1a1a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 4 Nov 2019 16:26:23 +0000
Subject: Add Makefile and _CoqProject

---
 Makefile    | 22 ++++++++++++++++++++++
 _CoqProject |  1 +
 2 files changed, 23 insertions(+)
 create mode 100644 Makefile
 create mode 100644 _CoqProject

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..33841ab
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,22 @@
+IGNORE:=
+
+LIBVS:=$(wildcard CoqUp/Lib/*.v)
+LIBVS:=$(filter-out $(IGNORE:%=%.v),$(LIBVS))
+
+VS:=$(wildcard CoqUp/*.v)
+VS:=$(filter-out $(LIBVS) $(IGNORE:%=%.v),$(VS))
+
+.PHONY: coq clean
+
+ARGS := -R Kami Kami
+
+coq: Makefile.coq.all
+	$(MAKE) -f Makefile.coq.all
+
+Makefile.coq.all: Makefile $(LIBVS) $(VS)
+	$(COQBIN)coq_makefile $(ARGS) $(LIBVS) $(VS) -o Makefile.coq.all
+
+clean:: Makefile.coq.all
+	$(MAKE) -f Makefile.coq.all clean
+	rm -f */*.v.d */*.glob */*.vo */*~ *~
+	rm -f Makefile.coq.all
diff --git a/_CoqProject b/_CoqProject
new file mode 100644
index 0000000..b08c163
--- /dev/null
+++ b/_CoqProject
@@ -0,0 +1 @@
+-R CoqUp CoqUp
-- 
cgit