coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [ocaml-platform] [Coq-Club] Coq opam package

From: Thomas Refis <thomas.refis AT gmail.com>
To: Stefan Monnier <monnier AT iro.umontreal.ca>
Cc: François Bobot <francois.bobot AT cea.fr>, coq-club AT inria.fr, platform <platform AT lists.ocaml.org>
Subject: Re: [ocaml-platform] [Coq-Club] Coq opam package
Date: Wed, 10 Apr 2013 22:37:11 +0200

Another possibility is to not update a package right away when a knew
optional dependency is available, but wait for the next "opam
upgrade". And adding a "--ignore <package>" option to the upgrade
command would be nice as well.

The fact that you don't have a choice when installing a package to
update all the package that may use it or not, is imho really
frustrating. I have indeed had to recompile coq a few times as well,
and the experience gets more annoying every time.

Thomas.

[Coq-Club] Coq opam package, François Bobot, 04/10/2013
- Re: [Coq-Club] Coq opam package, Stefan Monnier, 04/10/2013
  - Re: [ocaml-platform] [Coq-Club] Coq opam package, Thomas Refis, 04/10/2013
    - Re: [ocaml-platform] [Coq-Club] Coq opam package, Wojciech Meyer, 04/10/2013
      - Re: [ocaml-platform] [Coq-Club] Coq opam package, Gregory Malecha, 04/10/2013
    - Re: [ocaml-platform] [Coq-Club] Coq opam package, Anil Madhavapeddy, 04/10/2013
      - Re: [ocaml-platform] [Coq-Club] Coq opam package, Wojciech Meyer, 04/11/2013
        
        Re: [ocaml-platform] [Coq-Club] Coq opam package, François Bobot, 04/17/2013
    - Re: [ocaml-platform] [Coq-Club] Coq opam package, Thomas Gazagnaire, 04/11/2013
      - Re: [ocaml-platform] [Coq-Club] Coq opam package, François Bobot, 04/11/2013
        
        Re: [ocaml-platform] [Coq-Club] Coq opam package, Thomas Gazagnaire, 04/11/2013
        
        Re: [ocaml-platform] [Coq-Club] Coq opam package, Sylvain Le Gall, 04/11/2013
- Re: [Coq-Club] Coq opam package, AUGER Cédric, 04/10/2013