Stefano Zacchiroli a écrit : >> I guess the dependency is (at least) because of the following files: >> >> /usr/lib/frama-c/plugins/Jessie.cmxs >> /usr/lib/frama-c/plugins/Jessie.cma >> /usr/lib/frama-c/plugins/Jessie.cmi > > *if* files like that are the only reason to induce a dependency on > ocaml-base-nox (which brings in quite some extra space), we might > consider splitting plugins into a separate why-plugins package.
You have to make sure that plugins and why were compiled with the same version of ocaml somehow. Maybe by adding a $WHY_ABI. But anyway, because the plugins depend on the standard library of ocaml (most likely), ocaml-base-nox will be brough as a dependency to whichever package ships them, even though in practice it is not needed because the standard library is statically linked in the main program. I don't know how we can avoid this dependency, and we cannot just drop this kind of dependencies in general. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
