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

Stefan Monnier monnier at iro.umontreal.ca
Wed Apr 10 18:35:49 BST 2013

> 	I have naive questions about possibilities to mitigate the time
> spend by the compilation of Coq. Opam is source-based so you have to compile
> the Coq standard library. Moreover when a dependency of Coq change Opam
> trigger a recompilation of the package. When it is Lablgtk that changed the
> compilation of the standard library is needlessly made again. Lablgtk can
> change often because many C library are optional.

It sounds like maybe Opam would benefit from a more subtle notion of


More information about the Platform mailing list