From fc84c27eac260dffd8f2fb1cb56d599f1e3486d9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 9 Mar 2015 11:07:53 +0100
Subject: Initial commit

---
 mathcomp/ssrtest/Makefile | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 mathcomp/ssrtest/Makefile

(limited to 'mathcomp/ssrtest/Makefile')

diff --git a/mathcomp/ssrtest/Makefile b/mathcomp/ssrtest/Makefile
new file mode 100644
index 0000000..4bcf4fb
--- /dev/null
+++ b/mathcomp/ssrtest/Makefile
@@ -0,0 +1,26 @@
+MAKEFLAGS := -r
+
+.SUFFIXES:
+
+.PHONY: clean all config tags install
+
+COQMAKEFILE := Makefile.coq
+COQMAKE := +$(MAKE) -f $(COQMAKEFILE)
+
+all: $(COQMAKEFILE)
+	$(COQMAKE) all
+
+$(COQMAKEFILE) config:
+	$(COQBIN)coq_makefile -f Make  -o $(COQMAKEFILE)
+
+clean: $(COQMAKEFILE)
+	$(COQMAKE) clean
+	$(RM) -rf $(COQMAKEFILE)
+
+tags:
+	$(COQBIN)coqtags `find . -name \*.v`
+
+install:
+
+%: Makefile.coq
+	$(COQMAKE) $@
-- 
cgit v1.2.3