From c4ce787fddb5d8eefd96cd4706aa1ee7a8ea8843 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 2 Apr 2017 11:01:14 -0400
Subject: Remove coqprime-8.4

We're using tactics in terms in some places, and so have no hope of
compiling with Coq 8.4.  We no longer pretend to support it.

We can probably also remove some other compatibility things, if we want.
---
 Makefile | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0c73a0897..a1570363e 100644
--- a/Makefile
+++ b/Makefile
@@ -24,11 +24,6 @@ SUPER_FAST_TARGETS += update-_CoqProject Makefile.coq
 COQ_VERSION_PREFIX = The Coq Proof Assistant, version
 COQ_VERSION := $(firstword $(subst $(COQ_VERSION_PREFIX),,$(shell "$(COQBIN)coqc" --version 2>/dev/null)))
 
-ifneq ($(filter 8.4%,$(COQ_VERSION)),) # 8.4
-# Give us TIMED=1 in Coq 8.4
-COQC?=$(TIMER) "$(COQBIN)coqc"
-endif
-
 ifneq ($(filter-out $(SUPER_FAST_TARGETS),$(MAKECMDGOALS)),)
 -include Makefile.coq
 else
@@ -66,9 +61,6 @@ display: $(DISPLAY_VO:.vo=.log) coqprime
 coq: $(COQ_VOFILES) coqprime
 lite: $(LITE_VOFILES) coqprime
 
-ifneq ($(filter 8.4%,$(COQ_VERSION)),) # 8.4
-COQPRIME_FOLDER := coqprime-8.4
-else
 COQPRIME_FOLDER := coqprime
 ifneq ($(filter 8.5%,$(COQ_VERSION)),) # 8.5
 else
@@ -78,7 +70,6 @@ else
 OTHERFLAGS ?= -w "-deprecated-appcontext -notation-overridden"
 endif
 endif
-endif
 
 COQPATH?=${CURDIR}/$(COQPRIME_FOLDER)
 export COQPATH
-- 
cgit v1.2.3