OCaml and static linking (was old thread: Re: [Fedora-packaging] Issues with Ocaml and Static Linking)
Richard W.M. Jones
rjones at redhat.com
Mon May 21 15:54:49 UTC 2007
David Woodhouse wrote:
> On Mon, 2007-05-21 at 12:00 +0100, Richard W.M. Jones wrote:
>> Now, a bit of background first. When OCaml builds a module, it takes a
>> MD5 hash over the interface and some of the internals. It also stores
>> in the module the MD5 hashes of any modules that it depends upon. At
>> link time the MD5 hashes are compared, and the link is only allowed to
>> proceed if they match.
> Hm. Can we use this to make dynamic linking work safely too?
If you mean Dynlink (the bytecode-only dynamic linker), then that uses
the same hashing scheme and has the same requirements (matching hashes,
matching compiler). So yes.
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
Url : http://lists.fedoraproject.org/pipermail/packaging/attachments/20070521/a010df06/attachment.bin
More information about the packaging