Don't be an opam repository but use a lock file
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