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

[Sébastien Villemot]

Le dimanche 01 décembre 2013 à 13:52 +0100, Anton Gladky a écrit :

> 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.

If MPReal is an optional functionality on Eigen3, I think a Suggests on
libmpfrc++-dev, or maybe even a Recommends, would make much sense.

> 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

	
-- 
 .''`.    Sébastien Villemot
: :' :    Debian Developer
`. `'     http://www.dynare.org/sebastien
  `-      GPG Key: 4096R/381A7594