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

update README

parent 33806ff8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 3 deletions
README.md
+ 4
− 3
View file @ ed9b3eef
...@@ -71,8 +71,9 @@ document is [available online](http://plv.mpi-sws.org/iris/appendix-3.0.pdf). ...@@ -71,8 +71,9 @@ document is [available online](http://plv.mpi-sws.org/iris/appendix-3.0.pdf).
## For Developers: How to update the std++ dependency ## For Developers: How to update the std++ dependency
* Do the change in std++, push it. * Do the change in std++, push it.
* Wait for CI to publish a new std++ version on the opam archive. * Wait for CI to publish a new std++ version on the opam archive, then run
* In Iris, change opam to depend on the new version. `opam update iris-dev`.
* In Iris, change the `opam` file to depend on the new version.
* Run `make build-dep` (in Iris) to install the new version of std++. * 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 You may have to do `make clean` as Coq will likely complain about .vo file
mismatches. mismatches.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment