[opam-devel] How to manage a package manager (Was: Re: [opam] Build clarification (#1149))

Anil Madhavapeddy anil at recoil.org
Mon Feb 3 20:36:52 GMT 2014


On 3 Feb 2014, at 19:26, Roberto Di Cosmo <roberto at dicosmo.org> wrote:

> On Mon, Feb 03, 2014 at 07:00:24PM +0100, Thomas Gazagnaire wrote:
>>> 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
> 
> Nice!

Yep, that's very handy!

-anil


More information about the opam-devel mailing list