The Coq mailing list

[Stefan Monnier <monnier AT iro.umontreal.ca>]

>       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
dependency.


        Stefan