From 2b40140bb9c9e2620214fd65144af1c0fef4083a Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 4 Apr 2019 11:48:11 +0200
Subject: remove support for Coq 8.6

---
 mathcomp/ssreflect/Makefile.detect-coq-version | 8 --------
 1 file changed, 8 deletions(-)
 delete 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
deleted file mode 100644
index d2e8dce..0000000
--- a/mathcomp/ssreflect/Makefile.detect-coq-version
+++ /dev/null
@@ -1,8 +0,0 @@
-MLLIBEXTRA=$(shell \
-	if [ $(COQVV) = "8.6" ];\
-	   then cp $(PLUGIN)/v$(COQVV)/ssreflect_plugin.mlpack .;\
-		cp $(PLUGIN)/v$(COQVV)/ssreflect.ml4 .;\
-		cp $(PLUGIN)/v$(COQVV)/ssrbool.v $(SSR)/;\
-		cp $(PLUGIN)/v$(COQVV)/ssrfun.v $(SSR)/;\
-		cp $(PLUGIN)/v$(COQVV)/ssreflect.v $(SSR)/;\
-		echo "ssreflect_plugin.mlpack ssreflect.ml4"; fi)
-- 
cgit v1.2.3