Re: New dependency system.
Stefano Zacchiroli a écrit :
> [...] it is not possible to have a (binary) package
> on which you don't have material on which compute a checksum. [...]
I don't understand this sentence. Can you --verbose?
> The point is exactly to detect incompatibility among the two at load
> level, before a segfault hits you. With the current solution we can
> enforce compatibility between interfaces and .so at the dependency
> level, but the OCaml runtime can't check anything.
The OCaml runtime doesn't check anything at this point. It just "hopes"
that the .so is the same as the one that was used for linking. dh_ocaml
enforces that.
> Also, the above mechanism of computing ABI checksum for the -dev part
> and assigning it to the runtime part looks like a hack to me because we
> can't infer anything from the .so. Hack that we could remove if .so were
> inspectable. ... but that's sci-fi for now :-)
I don't agree when you say it is a hack. For me, it seems pretty clean
and clear: dh_ocaml considers a "library" as a whole (libxxx +
libxxx-dev). Dispatching files between the two binary packages is just a
matter of policy and is not relevant in the checksum computation.
--
Stéphane
Reply to: