Commit 40b71102 authored by Ralf Jung's avatar Ralf Jung

lay down opam 2 plans

parent 7ae823c0
......@@ -40,7 +40,8 @@ test -d "$OPAMROOT/repo/iris-dev" || opam repo add iris-dev https://gitlab.mpi-s
echo
# We really want to run all of the following in one opam transaction, but due to opam limitations,
# that is not currently possible.
# that is not currently possible. Once we use opam 2 for CI, we can first do all the pinning (with `-n`)
# followed by `opam upgrade --all build-dep/` (and hope this will also --fixup).
# Install fixed versions of some dependencies.
echo_color "$BOLDGREEN" "[prepare-opam] Processing pins"
......
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