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

[Anton Gladky]

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.

Please, close the bug.

Thanks,

Anton


2013/12/1 Jerome Benoit <calculus at rezozer.net>

> Package: libeigen3-dev
> Severity: important
>
> Dear Maintainer,
>
> the libeigen3-dev package must depend on the mpfrc++ package as the
> header`Eigen/MPRealSupport' includes the header `mpreal.h'.
>
> Best regards,
> Jerome
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20131201/de4fd3ee/attachment.html>