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