Skip to content

Don't be an opam repository but use a lock file

Romain requested to merge nomadic-labs/opam-repository:romain-opam-lock into master

Corresponding MR in tezos/tezos: tezos!7026 (closed)

See tezos!7026 (closed) for more context.

After this MR, tezos/opam-repository is no longer an opam repository. Its only role is to build Docker images. So we remove what makes it an opam repository (/packages etc.).

To build Docker images, we construct the opam repository structure from the lock file. We thus get /packages etc. back and can continue like before.

One may wonder: why do we rebuild /packages instead of just using opam install to install the lock file? The reason is that we still want to store the cache of opam packages in Docker images:

  • so that we have them somewhere in case they disappear from upstream;
  • so that opam tests in tezos/tezos do not need to download them (but whether it actually works is another question… because it's unclear that the cache is in the right directory).
Edited by Romain

Merge request reports