Geoff Keating wrote:
It seems like mostly, anyone using the compiler farm has to use --with-mpfr, and otherwise people avoid it.
A random data point: if you use --with-gmp (as I have to), configure finds an mpfr in the same subdirectory, so you might want to look for that as well.
Cheers, - Tobi