From dd730ed0569d57944435b6bb599bffd8c382c126 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 23 Oct 2017 15:52:09 +0200
Subject: Remove compatibility with Coq.8.4 (and compatibility hacks that went
 with it)

---
 mathcomp/ssreflect/Makefile | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'mathcomp/ssreflect/Makefile')

diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile
index b1dd21e..e4474c2 100644
--- a/mathcomp/ssreflect/Makefile
+++ b/mathcomp/ssreflect/Makefile
@@ -9,11 +9,7 @@ include Makefile.detect-coq-version
 # this defined coqmakefile
 include Makefile.coq-makefile
 
-ifeq "$V" "v8.4"
-COQDEP=../../etc/utils/ssrcoqdep
-else
 COQDEP=$(COQBIN)coqdep
-endif
 
 OLD_MAKEFLAGS:=$(MAKEFLAGS)
 MAKEFLAGS+=-B
@@ -22,7 +18,6 @@ MAKEFLAGS+=-B
 
 %:
 	$(H)[ -e Makefile.coq ] || $(call coqmakefile,.)
-	# Override COQDEP to find only the "right" copy .ml files
 	$(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
 		-f Makefile.coq $* \
 		COQDEP='$(COQDEP) -exclude-dir plugin -c'
-- 
cgit v1.2.3