[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