[Caml-list] cmx files installed

[Michal Moskal]

Is there any reason, that `make install' copies .cmx files, that are
present in .cmxa archives anyway?

.ml files are copied for easier debugging and .mli for documentation, am
I right?

--
: Michal Moskal :::::::: malekith/at/pld.org.pl : GCS {C,UL}++++$ a? !tv
: PLD Linux ::::::: Wroclaw University, CS Dept : {E-,w}-- {b++,e}>+++ h
-------------------
To unsubscribe, mail caml-lis...@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[malc]

On Wed, 8 May 2002, Michal Moskal wrote:

> Is there any reason, that `make install' copies .cmx files, that are
> present in .cmxa archives anyway?

.cmx'es contain small functions to be inlined, plus some internal
information that makes direct calls from module to module, otherwise
auxiliary(and uneeded) closures will be created resulting in indirect
calls - read SLOW.

>
> .ml files are copied for easier debugging and .mli for documentation, am
> I right?
>
>

--
mailto:ma...@pulsesoft.com

[Jakob Lichtenberg]

"malc" <ma...@pulsesoft.com> wrote in message
news:fa.hfj08...@ifi.uio.no...

> On Wed, 8 May 2002, Michal Moskal wrote:
>
> > Is there any reason, that `make install' copies .cmx files, that are
> > present in .cmxa archives anyway?
> .cmx'es contain small functions to be inlined, plus some internal
> information that makes direct calls from module to module, otherwise
> auxiliary(and uneeded) closures will be created resulting in indirect
> calls - read SLOW.

Fair enough, then why the cmxa library file in the first place, it seems
that one of them is redundant?

- Jakob Lichtenberg