On Mon, 30 Oct 2006, Geoffrey Keating wrote: > configure: error: Building GCC requires GMP 4.1+ and MPFR 2.2+. Try the > --with-gmp and/or --with-mpfr options.
Indeed, as a user I ran into problems with this on a system where both of these actually were installed. This is because I had the run-time libraries, but not headers which at some distros (such as openSUSE) are in different packages such as pkg.rpm versus pkg-devel.rpm. I predicit this is going to hit quite many naive users (such as myself). Kaveh, would you mind looking into whether we could referine the autoconf magic you added? Something like first checking for the libraries being present, and then for headers, and in the case we've got the former but not the latter issue an appropriate warning? Gerald
