From 2e6d512c29c72bb220dacabc79392334283d604e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 28 Jul 2015 11:16:38 +0200
Subject: factor common Makefile stuff

---
 mathcomp/ssreflect/Makefile.detect-coq-version | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 mathcomp/ssreflect/Makefile.detect-coq-version

(limited to 'mathcomp/ssreflect/Makefile.detect-coq-version')

diff --git a/mathcomp/ssreflect/Makefile.detect-coq-version b/mathcomp/ssreflect/Makefile.detect-coq-version
new file mode 100644
index 0000000..7f2202d
--- /dev/null
+++ b/mathcomp/ssreflect/Makefile.detect-coq-version
@@ -0,0 +1,16 @@
+BRANCH_coq = $(shell $(COQBIN)coqtop -v | head -1 \
+	     | sed 's/.*version \([0-9]\.[0-9]\)[^ ]* .*/v\1/')
+
+HASH_coq = $(shell echo Quit. | $(COQBIN)coqtop 2>&1 | head -1 \
+	   | sed 's/^.*(\([a-f0-9]*\)).*/\1/' )
+
+HASH_coq_v85beta1 = eaa3d0b15adf4eb11ffb00ab087746a5b15c4d5d
+HASH_coq_v85beta2 = 94afd8996251c30d2188a75934487009538e1303
+
+V=$(BRANCH_coq)
+ifeq "$(HASH_coq)" "$(HASH_coq_v85beta1)"
+V=v8.5beta1
+endif
+ifeq "$(HASH_coq)" "$(HASH_coq_v85beta2)"
+V=v8.5beta2
+endif
-- 
cgit v1.2.3