Re: .cmx inclusion in modules
Le Sunday 06 April 2008 12:52:27 Stefano Zacchiroli, vous avez écrit :
> Uhm, are you assuming here that there is a 1-1 mapping between .cmx and
> .cmxa? AFAICT a .cmxa can correspond to several .cmx s. Please check and
> reword accordingly.
Humm. This gives, then:
" * The .cmxa does not contain all the information from the .cmx, in
particular not the inlining information. Hence, you should ship the .cmx files
corresponding to each .cmxa file that is installed, when available. One .cmxa
file may correspond to several .cmx files."
> After that I'll have no objection in committing this text to the policy.
Is that ok ?
Romaon
--
son, daddy left you were from you were four
I've got to struggle 'cos I am poor
she said, food is a very hard thing to find
sometime I feel like I'm going out of my mind
Reply to: