Stéphane Glondu wrote:
> 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...
>
Indeed, the frama-c plugin is the one responsible for the new dependency
on ocaml-base-nox-$ABI. This new dependency costs at most 2MB in terms of
disk space (transitive dependencies counted).
Concerning the Frama-C plugin, I first intended to put it in a new package
but then changed my mind because I don't think it causes trouble to Why
users (and I didn't find a suitable name). I understand the argument "save
disk space" or "minimize the installation" but this doesn't seem as
critical, especially with an application like why. As I see it, package
split is done mainly on request, in such cases. Furthermore, if the
argument "minimize the installation" was unconditional, then we will have
a lot of packages to re-work in order to make them minimal and some extra
dependencies to remove.
@Ian: You sent a bugreport hoping to see this new dependency disappear or
only to ask the question? I'm not sure I perfectly understand your
request. I can split the package if you need it to be so.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
