From 5ed394ddfd7912aff9e843500e9777f134bc4fb9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 4 Oct 2017 11:35:07 +0200
Subject: [PATCH] README: explain how to update std++

---
 README.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/README.md b/README.md
index f29ddcc4a..ec32c461f 100644
--- a/README.md
+++ b/README.md
@@ -62,3 +62,12 @@ Run `make` to build the full development.
 A LaTeX version of the core logic definitions and some derived forms is
 available in [docs/iris.tex](docs/iris.tex).  A compiled PDF version of this
 document is [available online](http://plv.mpi-sws.org/iris/appendix-3.0.pdf).
+
+## For Developers: How to update the std++ dependency
+
+* Do the change in std++, push it.
+* Wait for CI to publish a new std++ version on the opam archive.
+* In Iris, change opam to depend on the new version.
+* Run `make build-dep` (in Iris) to install the new version of std++.
+* You may have to do `make clean` as Coq will likely complain about .vo file
+  mismatches.
-- 
GitLab