------- Comment #11 from rob1weld at aol dot com 2007-06-13 08:06 ------- The configure script should check the headers against the library version.
Two people from "gcc.gnu.org" and I all got nailed by this. It may bite others with less computer knowledge than ourselves. The "bug" is this: 1): The configure script needs a sanity check since GCC compiles and works reasonably well with the library / header mixup. 2): It is the GCC configure script that is choosing the wrong headers to match the library it chose. 3a): _IF_ GCC wants /usr/lib/libmpfr.so/.a it should use /usr/include/mpfr.h 3b): _IF_ GCC wants /usr/local/lib/libmpfr.so/.a it should use /usr/local/include/mpfr.h -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32258
