From d72a39c848cd3956125c3fae9ab46c11357a7534 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 22 Aug 2017 15:46:56 +0200
Subject: [PATCH] Also test against Coq 8.7
---
.gitignore | 2 +-
.gitlab-ci.yml | 6 ++++++
opam | 2 +-
opam.pins | 2 +-
4 files changed, 9 insertions(+), 3 deletions(-)
diff --git a/.gitignore b/.gitignore
index 81e7db3db..8c026612a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,5 +9,5 @@
*~
*.bak
.coq-native/
-Makefile.coq
+Makefile.coq*
*.crashcoqide
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 060f4d349..b625b8943 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,6 +23,12 @@ variables:
- master
- /^ci/
+iris-coq8.7:
+ <<: *template
+ variables:
+ COQ_VERSION: "8.7.dev"
+ SSR_VERSION: "dev"
+
iris-coq8.6.1:
<<: *template
variables:
diff --git a/opam b/opam
index aaaa15972..ec5e2b4c3 100644
--- a/opam
+++ b/opam
@@ -13,7 +13,7 @@ build: [
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/iris'" ]
depends: [
- "coq" { (>= "8.6.1" & < "8.7~") } # replace with (= "dev") if you want to test against a development version of Coq
+ "coq" { (>= "8.6.1" & < "8.8~") } # replace with (= "dev") if you want to test against a development version of Coq
"coq-mathcomp-ssreflect" { ((>= "1.6.1" & < "1.7~") | (= "dev")) }
"coq-stdpp"
]
diff --git a/opam.pins b/opam.pins
index d9fa24e4f..b685c00b8 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 24cc2e4786b2344e092e412f56e96c6971ab60d8
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp fa6ff9d18aefb29e839e815aa170262d330bd108
--
GitLab