Re: What version of GMP should we require?

2011-02-24 Thread Ludovic Courtès
Hi Mark, Mark H Weaver m...@netris.org writes: I recently noticed that scm_i_big2dbl contains some crufty and inefficient compatibility code to work around unspecified rounding behavior of mpz_get_d in GMP prior to version 4.2. GMP 4.2 was released in March 2006 and has been in Debian since

Re: What version of GMP should we require?

2011-02-24 Thread Mark H Weaver
l...@gnu.org (Ludovic Courtès) writes: For 2.0, what about AC_CHECK_LIB ‘mpz_rootrem’, and provide a replacement when it’s not available? [...] Sounds reasonable. In ‘master’ you can of course require 4.2 and clean things up as you see fit. :-) Great, thanks! :) Mark

Re: What version of GMP should we require?

2011-02-23 Thread Mark H Weaver
I wrote: I recently noticed that scm_i_big2dbl contains some crufty and inefficient compatibility code to work around unspecified rounding behavior of mpz_get_d in GMP prior to version 4.2. GMP 4.2 was released in March 2006 and has been in Debian since sarge (now oldstable). Sorry, I meant

What version of GMP should we require?

2011-02-22 Thread Mark H Weaver
Hello all, I recently noticed that scm_i_big2dbl contains some crufty and inefficient compatibility code to work around unspecified rounding behavior of mpz_get_d in GMP prior to version 4.2. GMP 4.2 was released in March 2006 and has been in Debian since sarge (now oldstable). How would you