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
