Commit f1b0e37b authored by Ralf Jung's avatar Ralf Jung

update README

parent 1c18e23d
Pipeline #5898 passed with stage
in 11 minutes and 19 seconds
...@@ -11,21 +11,14 @@ This version is known to compile with: ...@@ -11,21 +11,14 @@ This version is known to compile with:
- A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/) - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
The easiest way to install the correct versions of the dependencies is through The easiest way to install the correct versions of the dependencies is through
opam. Once you got opam set up, just run `make build-dep` to install the right opam. You will need the Coq and Iris opam repositories:
versions of the dependencies. When the dependencies change (e.g., a newer
version of Iris is needed), just run `make build-dep` again.
Alternatively, you can manually determine the required Iris commit by consulting opam repo add coq-released https://coq.inria.fr/opam/released
the `opam.pins` file. opam repo add iris-dev https://gitlab.mpi-sws.org/FP/opam-dev.git
Once you got opam set up, run `make build-dep` to install the right versions
of the dependencies.
## Building Instructions ## Building Instructions
Run `make` to build the full development. Run `make` to build the full development.
## For Developers: How to update the Iris dependency
- Do the change in Iris, push it.
- In iris-atomic, change opam.pins to point to the new commit.
- Run "make build-dep" (in iris-atomic) to install the new version of Iris.
- You may have to do "make clean" as Coq will likely complain about .vo file
mismatches.
Markdown is supported
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