Skip to content
Snippets Groups Projects
Commit a3ffa476 authored by Ralf Jung's avatar Ralf Jung
Browse files

expand README

parent bc8e2d15
No related branches found
No related tags found
No related merge requests found
......@@ -26,6 +26,8 @@ a feature branch instead.
* Wait for CI to publish a new std++ version on the opam archive, then run
`opam update iris-dev`.
* In Iris, change the `opam` file to depend on the new version.
(In case you do not use opam yourself, you can see recently published versions
[in this repository](https://gitlab.mpi-sws.org/iris/opam/commits/master).)
* 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.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment