GMP 5.1.1 make check fail on Solaris 11

[Marc Glisse]

On Sun, 17 Feb 2013, Torbjorn Granlund wrote:

> Marc Glisse <marc.glisse at inria.fr> writes:
>
>  I think they are only used in this test program to check that
>  double->mpf->round gives the same result as the libm rounding
>  functions.
>
> OK.
>
> Perhaps it would be better to make some consistency checks, like ceil(x)
>> = x >= floor(x), ceil(x)-1 < x, floow(x)+1 > x, etc.  Not to avoid libm
> deps, but to allow testing of a greater range.

That was mostly a way to check that we were calling the right functions 
from the C++ wrapper, and then I assume that the C checks cover a wider 
range. But sure, your version makes sense too. Should I add the -lm and 
make a note to add tests like you suggest?

-- 
Marc Glisse