From 9352fc35ebe04b8b4e9002f3cf39ee1acbab8cd2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 20 Apr 2018 09:54:12 +0200
Subject: remove v8.4 code from Makefile

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

(limited to 'mathcomp')

diff --git a/mathcomp/Makefile b/mathcomp/Makefile
index f6e06b4..e45d627 100644
--- a/mathcomp/Makefile
+++ b/mathcomp/Makefile
@@ -9,11 +9,7 @@ include ssreflect/Makefile.detect-coq-version
 # this defined coqmakefile
 include ssreflect/Makefile.coq-makefile
 
-ifeq "$V" "v8.4"
-COQDEP=../etc/utils/ssrcoqdep
-else
 COQDEP=$(COQBIN)coqdep
-endif
 
 OLD_MAKEFLAGS:=$(MAKEFLAGS)
 MAKEFLAGS+=-B
-- 
cgit v1.2.3