From 2c7b377febf9f42de6c7313dfe4154efdfb90da1 Mon Sep 17 00:00:00 2001
From: Robert Sloan <varomodt@dhcp-18-189-51-40.dyn.MIT.EDU>
Date: Thu, 10 Sep 2015 18:52:17 -0400
Subject: init our centralized repo

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
new file mode 100644
index 000000000..2799187f6
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,23 @@
+# © 2015 the Massachusetts Institute of Technology
+# @author bbaren
+
+SOURCES := $(shell grep -v '^-' _CoqProject | tr '\n' ' ')
+COQLIBS := $(shell grep '^-' _CoqProject | tr '\n' ' ')
+
+include .make/cc.mk
+include .make/coq.mk
+
+FAST_TARGETS += check_fiat clean
+
+.DEFAULT_GOAL = all
+.PHONY: all clean coquille
+
+all: $(SOURCES)
+	@echo "done!"
+
+coquille:
+	vim -c "execute coquille#Launch($(COQLIBS))" -N
+
+clean:
+	$(RM) $(foreach f,$(SOURCES),$(call coq-generated,$(basename $f)))
+
-- 
cgit v1.2.3