>From fink, I have gmp 4.1 in /sw/{lib,include}, but mpfr is ancient. I put a
new mpfr in $HOME, and tried to build with:
../gcc-4.3-20080111/configure --with-gmp=/sw --with-mpfr=$HOME
Unfortunately, that tells me that my mpfr is too old.
The order of the flags does not matter; I always get, in config.log:
gmpinc='-I/sw/include -I/Users/bhudson/include'
gmplibs='-L/sw/lib -L/Users/bhudson/lib -lmpfr -lgmp'
In other words, it's possible to update gmp and use the system mpfr, but not to
update mpfr and use the system gmp. Given that the required mpfr is much newer
(29 August 2007) than the required gmp (circa 2004), the easy fix would be to
reverse this: allow updating mpfr while leaving the system gmp in place.
--
Summary: --with-gmp overrides --with-mpfr
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: bootstrap
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: benoit dot hudson at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34818
