On Fri, Jun 15, 2007 at 09:44:32AM +0100, Stefano Zacchiroli wrote:
On Fri, Jun 15, 2007 at 08:34:54AM +0100, Richard Jones wrote:
> > Still, native code objects can break link time compatibility with
> > compatible .cmis.
> I don't understand - why is this?
Out of the box I don't know how to reproduce it, but we have been beaten
by this in the past. IIRC md5sum information stored in native code
objects are not only about interfaces but also about the actual module
implementations. Given that they are not inspectable (ocamlobjinfo only
work on bytecode objects) you have no way to check them.
I think we've dealt with this one by depending on the
name-version-release of ocaml itself.
This makes it an all-or-nothing thing: as on Debian we need to upgrade
every OCaml package at the same time. This is causing a problem at
the moment because I can't get PXP & CDuce compiled. CDuce upstream
have released a full version for OCaml 3.10, but PXP (on which CDuce
depends) haven't done so yet.