GMP 5.1.1 make check fail on Solaris 11

Marc Glisse marc.glisse at
Sun Feb 17 10:49:13 CET 2013

On Sun, 17 Feb 2013, Torbjorn Granlund wrote:

> Marc Glisse <marc.glisse at> 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

More information about the gmp-bugs mailing list