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

Gregory Malecha gmalecha at eecs.harvard.edu
Wed Apr 10 22:55:24 BST 2013

Unrelated to opam is simply the architectural decision in Coq that vo's
have strict dependencies on precise builds of Coq (including the version of
OCaml used). I understand that this is possibly eases the implementation of
Coq internals, but pulling out the actual code that saves to and reads from
a file would benefit anyone who wants to use or distribute Coq libraries.

On Wed, Apr 10, 2013 at 5:17 PM, Wojciech Meyer <wojciech.meyer at gmail.com>wrote:

> Thomas Refis <thomas.refis at gmail.com> writes:
> > 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.
> I agree it would be a useful feature, and might cause errors which we
> really try to avoid. As a side note, I had occasions to recompile some
> packages when it was *not* really required. Coq compiles quite long, and
> I care about compilation time too so reducing that time would be really
> good when upgrading dependent packages.
> Thanks,
> Wojciech

gregory malecha
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/platform/attachments/20130410/171d6511/attachment.html>

More information about the Platform mailing list