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:
> 
> http://caml.inria.fr/pub/ml-archives/caml-list/2004/05/775714fbf05c17e0cbf5c365d6671704.en.html 

I always like to be proven wrong ...  An experimental dynamic linking of 
native code patch has just been added to OCaml CVS upstream.

Rich.

-- 
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...
Name: smime.p7s
Type: application/x-pkcs7-signature
Size: 3237 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://listman.redhat.com/archives/fedora-devel-list/attachments/20070607/24868ba3/attachment.bin>


More information about the fedora-devel-list mailing list