On 07/02/2010 10:27 AM, Daniel Bünzli wrote:
(Note: for dynlink, I believe that loading modules in private mode should be 
safe.)

No, at least not in 3.12.0+beta1.

Ah yes, sorry, I did not ready your original post carefully enough.

I think the problem is that dlopen is called (in loadfile_private mode), without RTLD_GLOBAL (but also without RTLD_LOCAL, which is never used).

According to:

http://developer.apple.com/mac/library/documentation/Darwin/Reference/ManPages/man3/dlopen.3.html

the default is RTLD_GLOBAL under Mac OS, contrary to Linux (default is RTLD_LOCAL).


I'll try to apply a fix.


Alain


_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Reply via email to