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/Makefile | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'mathcomp/Makefile')

diff --git a/mathcomp/Makefile b/mathcomp/Makefile
index c631c7b..f5d495a 100644
--- a/mathcomp/Makefile
+++ b/mathcomp/Makefile
@@ -6,12 +6,3 @@ COQMAKEOPTIONS=--no-print-directory
 
 # Main Makefile
 include Makefile.common
-
-# --------------------------------------------------------------------
-# this sets variables COQVERSION and MLLIBEXTRA
-# assuming PLUGIN is set to the directory which contains the plugins
-# and SSR is set to the directory of the ssreflect package
-PLUGIN=../plugin
-SSR=ssreflect
-include ssreflect/Makefile.detect-coq-version
-COQMAKEFILEOPTIONS=$(MLLIBEXTRA)
-- 
cgit v1.2.3