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

[Roberto Di Cosmo]

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!

-- 
Roberto Di Cosmo
 
------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto at dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann       
F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
      http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:
 
Bureau 3020 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3