From 1e3772f0d855ee92ac8da1f063893ed81a1bd085 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 20 Sep 2017 23:07:54 +0200
Subject: [PATCH] try to fix opam
---
build/opam-ci.sh | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/build/opam-ci.sh b/build/opam-ci.sh
index d46d62258..81d270443 100755
--- a/build/opam-ci.sh
+++ b/build/opam-ci.sh
@@ -14,7 +14,8 @@ if test $(find "$OPAMROOT/repo/package-index" -mtime +0); then
# last update was more than a day ago
opam update
else
- echo "[opam-ci] Not updating opam."
+ # only update iris-dev
+ test -d "$OPAMROOT/repo/iris-dev" && opam update iris-dev
fi
test -d "$OPAMROOT/repo/coq-extra-dev" && opam repo remove coq-extra-dev
test -d "$OPAMROOT/repo/coq-core-dev" || opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev -p 5
--
GitLab