On 05-10-2010, Stéphane Glondu <[email protected]> wrote: > Le 05/10/2010 14:56, Stéphane Glondu a écrit : >>> Ralf, do you know how to make the difference between internal/external? >>> Can we trust that every unresolved symbols are externals? >> >> How can symbols be unresolved in OCaml executables? > > C stubs can be "unresolved", and IIRC dh_ocaml uses dependencies between > ocaml interfaces to find dependencies to dynamic stubs (dll*.so files). > This approach is good to find ABI-zed dependencies, but warnings > generated in this case won't be relevant most of the time. > > However, we also have access to dynamic stub dependencies in the > bytecode executables, so I propose we still use OCaml interfaces to find > ABI-zed dependencies, get rid of the warning for so-called "unresolved" > symbols on the OCaml side, and issue warnings for dll*.so that cannot be > found. >
Fine for me. Since I added this warning, I was not sure if it was really mandatory or not. Regards, Sylvain Le Gall -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
