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. -- Stéphane -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
