diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index cb32823984948e282a328e27a53080d53116f0ae..0f0eb1781f27ca2d4fc86e60c2fb920bdd87d700 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,8 +1,6 @@ image: ralfjung/opam-ci:latest lrust-coq8.5.3: - tags: - - coq script: # prepare - . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6' diff --git a/README.md b/README.md index 506e6393bda59a114c57dea136d5da5c847d8140..3deb87fc4594130a13eb924fcae3f82ec39e036a 100644 --- a/README.md +++ b/README.md @@ -21,3 +21,11 @@ the `opam.pins` file. ## 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 lambdaRust, change opam.pins to point to the new commit. +- Run "make build-dep" (in lambdaRust) to install the new version of Iris. +- You may have to do "make clean" as Coq will likely complain about .vo file + mismatches.