Bug#571574: why: dependency on ocaml-base-nox needed?

[Stéphane Glondu <glondu@debian.org>]

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