From f1b0e37ba7097a6cee84cc3f3402b8c512da8456 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 13 Dec 2017 12:57:25 +0100 Subject: [PATCH] update README --- README.md | 19 ++++++------------- 1 file changed, 6 insertions(+), 13 deletions(-) diff --git a/README.md b/README.md index 445fa6c..59dee61 100644 --- a/README.md +++ b/README.md @@ -11,21 +11,14 @@ This version is known to compile with: - 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 -opam. Once you got opam set up, just run `make build-dep` to install the right -versions of the dependencies. When the dependencies change (e.g., a newer -version of Iris is needed), just run `make build-dep` again. +opam. You will need the Coq and Iris opam repositories: -Alternatively, you can manually determine the required Iris commit by consulting -the `opam.pins` file. + opam repo add coq-released https://coq.inria.fr/opam/released + 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 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. -- GitLab