[Bug middle-end/32258] Testsuite reports - FAIL: gcc.dg/torture/builtin-pow-mpfr-1.c

[rob1weld at aol dot com]

------- 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