Bug#731050: libeigen3-dev: depends on mpfrc++

[Sylvestre Ledru]

On 01/12/2013 13:52, Anton Gladky wrote:
> Hi Jerome,
>
> thanks for bug-report. But I do not think, it is a good idea to add 
> some more dependencies to header-only library. 
>
> In most of cases it is enough to use only libeigen3-dev. But if
> the software uses some additional headers through Eigen3 (like
> MPReal, for example), the maintainer should add it explicitly 
> to his dependecy-list.
>
Declaring mpfrc++ as recommends might be a good compromise. Don't you
think ?

Sylvestre


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20131201/2896d476/attachment.html>