[opam-devel] How to manage a package manager (Was: Re: [opam] Build clarification (#1149))
Thomas Gazagnaire
thomas at gazagnaire.org
Mon Feb 3 18:00:24 GMT 2014
> One defensive feature to add in this case is to stamp the required OPAM client
> version in ~/.opam and refuse to run if it's too low. Thomas, Louis, this
> check is only per-remote at the moment and not enforced globally within the
> OPAM state is it?
Yup, simply edit your ~/.opam/config and replace `opam-version: "1.1.1"` by "1.1.2". If you run 'opam list` you get:
$ opam list
[ERROR] Your version of OPAM (1.1.1) is not recent enough to read ~/.opam/config. Upgrade OPAM to a more recent version (at least 1.1.2) to read this file correctly.
--
Thomas
More information about the opam-devel
mailing list