On 2005-02-17 01:15:29 +0100, Marcin Dalecki wrote: > On 2005-02-16, at 12:32, Vincent Lefevre wrote: > >Do not use the MPFR version that comes with GMP. It is too old. > >Remember that you can override the default by setting CFLAGS. > > The documentation doesn't say this. The configure scripts don't > check for it.
Concerning CFLAGS, this is something standard, documented in the manual of "make". For consistency, the configure script shouldn't try to override it (if it is set). -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA
