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

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

Ian Zimmerman a écrit :
> The previous version of this package (2.19+dfsg-2) did not have this dependency.
> I assume compilation is done with ocamlopt (after all, the package is arch-any
> and not arch-all).  So why (pun noticed, LOL) this dependency?  Probably it was
> introduced by: (from changelog.Debian)
> 
>      + Add ${ocaml:Depends} in Why's Depends field
> 
> so maybe this is a dh problem?

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

*.cm* files depend on OCaml ABI, and ocaml-base-nox-$ABI is the smallest
package enforcing the OCaml ABI...

-- 
Stéphane