From a5bc9446fb9b5c3f58c3613be12b9ede0ea2171f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 29 Nov 2017 12:16:30 +0100
Subject: [PATCH] Allow compiling against "dev" version of Coq

This matches e.g. Iris allowing a "dev" version of std++: You can install a
"dev" version to test stuff, but then you are responsible for making sure that
these versions actually work together.  We rely on that when testing things
against Iris master every night, for which purpose we install Iris master as
"dev" version.
---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index d8c0baf4..f462381d 100644
--- a/opam
+++ b/opam
@@ -10,5 +10,5 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/stdpp"]
 depends: [
-  "coq" { >= "8.6" & < "8.8~" }
+  "coq" { (>= "8.6" & < "8.8~") | (= "dev") }
 ]
-- 
GitLab