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 | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'mathcomp/ssreflect/Makefile')

diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile
index 76b8c2c..9d78a7c 100644
--- a/mathcomp/ssreflect/Makefile
+++ b/mathcomp/ssreflect/Makefile
@@ -6,11 +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
-PLUGIN=../../plugin/
-SSR=.
-include Makefile.detect-coq-version
-COQMAKEFILEOPTIONS=$(MLLIBEXTRA)
-- 
cgit v1.2.3