diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-02 11:01:14 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-04-02 12:05:01 -0400 |
| commit | c4ce787fddb5d8eefd96cd4706aa1ee7a8ea8843 (patch) | |
| tree | f9b7f1edb580a5f820d9f51acf5df229404f99c2 /Makefile | |
| parent | 719844deb55f1566b3bc73d3e6e16f906aa72e62 (diff) | |
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.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 0 insertions, 9 deletions
@@ -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 |