diff options
author | Jason Gross <jagro@google.com> | 2016-06-22 12:11:15 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-06-22 12:11:15 -0700 |
commit | fd026fcca741364051c4d7a3469896ee04ad67ea (patch) | |
tree | 06dc58e14e5acd523b9f1aff1250e598b50b64a1 /Makefile | |
parent | accc9fa1f5689d1bf57d3024c4ad293fd10f3617 (diff) |
Flip the sense of the conditional in the makefile
This way, we treat trunk as 8.5.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -25,10 +25,10 @@ coq: coqprime 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.5%,$(COQ_VERSION)),) # 8.5 -coqprime: coqprime-8.5 -else +ifneq ($(filter 8.4%,$(COQ_VERSION)),) # 8.4 coqprime: coqprime-8.4 +else +coqprime: coqprime-8.5 endif coqprime-8.4: |