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