Re: dh_ocaml rules [was Re: Bug#663754: ITP: hol-light ...]
Le 22/03/2012 08:19, Hendrik Tews a écrit :
> If a package contains any cmo, cmi, cma, cmx, cmxa or cmxs file,
> then it is a development package.
Runtime packages can also contain cmo, cma and cmxs. Whether a package
containing them is runtime or development depends on their use: if they
are used as plugins, they should be in a runtime package instead.
> Is this right?
Except for the above point, yes.
> What I don't understand is the following: Consider package X
> containing x.cmo, which depends on y.cmo from package Y. In this
> case X must depend on the proper ABI approximation of Y,
> regardless of whether dh_ocaml considers X and Y as runtime or
> development package.
Not necessarily: if x.cmo is a plugin, and y.cmo is provided only in a
development package, y can be (statically) linked in a third executable
z that will be able to dynlink x.cmo without the presence of y.cmo.
Cheers,
--
Stéphane
Reply to: