On 9/13/06, Nicolas Pouillard <nicolas.pouillard@gmail.com> wrote:
> On 9/13/06, Hendrik Tews <tews@cs.ru.nl> wrote:
> >
> > But with this line of reasoning, plexer.{o,cmx} should not be
> > installed either, shouln't it?
>
> So in order to be consistent either one do not expose at all the
> content of a library or one install all components (.cmo, .cmi, .cmx,
> .o). I tend to prefer the first one.

I remember hearing somewhere that by exposing .cmx files, the compiler
is able to inline across module boundaries, and thus distributing .cmx
files is desirable.  Is this just a myth?  It seems redundant since
the .cmx files are included in the .cmxa anyway.

- Chris King