------- Comment #12 from rob1weld at aol dot com 2007-06-13 09:32 -------
>> Comment #10 From Andrew Pinski 2007
>> This is not a bug.
>> Here is the deal, the reporter compiled GCC with the new headers but is using
>> the old library (which is known to be buggy).
> Comment #6 From Rob
> warning: MPFR header version 2.2.1-p5 differs from library version 2.2.0.
I double checked. Configure is taking it's library from /usr/lib/ and using
/usr/local/include/mpfr.h
The MPFR docs say:
`MPFR_VERSION_STRING' is the version as a string constant, which can be
compared to the result of `mpfr_get_version' to check at run time the header
file and library used match:
if (strcmp (mpfr_get_version (), MPFR_VERSION_STRING))
fprintf (stderr, "Error, header and library files do not
match\n");
So we need something as simple as this added to the main configure script:
if (strcmp (mpfr_get_version (), MPFR_VERSION_STRING)) return 1;
--
rob1weld at aol dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |VERIFIED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32258
