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 <calcu...@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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org