OCaml and static linking (was old thread: Re: [Fedora-packaging] Issues with Ocaml and Static Linking)
Richard W.M. Jones
rjones at redhat.com
Thu Jun 7 15:58:47 UTC 2007
Richard W.M. Jones wrote:
> I suspect it's unlikely that upstream will do (a), ever. There's a
> technical issue. OCaml really doesn't have a concept of an ABI. It
> does a kind of whole-program optimisation where even changes to the
> internal implementation of a library can affect the resulting binary.
> Moreover even if you "fixed" that, any change whatsoever to the
> library's signature or the version of compiler it was built with (even
> bugfix releases which have the same version number) will make the
> library incompatible.
> You might also find this entertaining:
I always like to be proven wrong ... An experimental dynamic linking of
native code patch has just been added to OCaml CVS upstream.
Emerging Technologies, Red Hat - http://et.redhat.com/~rjones/
Registered Address: Red Hat UK Ltd, Amberley Place, 107-111 Peascod
Street, Windsor, Berkshire, SL4 1TE, United Kingdom. Registered in
England and Wales under Company Registration No. 03798903
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 3237 bytes
Desc: S/MIME Cryptographic Signature
More information about the fedora-devel-list