Commit 3ba2a9c0 authored by Benoit Viguier's avatar Benoit Viguier
Browse files

move to Coq 8.8

parent ca175107
......@@ -28,7 +28,7 @@ COQTOP=$(COQBIN)coqtop
COQDEP=$(COQBIN)coqdep $(DEPFLAGS)
COQDOC=$(COQBIN)coqdoc -d doc -g -utf8 $(DEPFLAGS)
COQVERSION= 8.7.0 or-else 8.7.1 or-else 8.7.2
COQVERSION= 8.8.0
COQV=$(shell $(COQC) -v)
ifeq ("$(filter $(COQVERSION),$(COQV))","")
$(error FAILURE: You need Coq $(COQVERSION) but you have this version: $(COQV))
......
......@@ -13,7 +13,7 @@ install: [
]
remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Tweetnacl"]
depends: [
"coq" {>= "8.7.0"}
"coq" {>= "8.8.0"}
"coq-coqprime" {= "dev"}
"coq-stdpp"
"coq-ssr-elliptic-curves"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment