Open
Description
-
set-opam-version.sh 2.1
added to images. It's justsudo ln -f /usr/bin/opam-$1 /usr/bin/opam && rm -rf ~/.opam && opam init -k local -a /home/opam/opam-repository --bare
(with error handling!) -
opam-depext
needs 2.1 support so that withOPAMCLI=2.0 opam depext package
works - Images have
ENV OPAMCLI=2.0
and/usr/bin/opam
is/usr/bin/opam-2.1
by default. The root is therefore opam 2.1
This presently blocked on the opam depext
part, since there's no compatibility for previous versions. Switching to opam 2.1 will expose some uses to problems with opam's integrated depext on certain platforms.
I propose set-opam-version.sh
does a re-init for consistency: it only does fractionally more than opam update
would, but it's a more consistent thing to do when downgrading from 2.1 to 2.0.
Activity