Bug#599093: dh_ocaml: warns on not resolving dependencies on modules contained in the application

[Stéphane Glondu <steph@glondu.net>]

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