[Bug bootstrap/34818] New: --with-gmp overrides --with-mpfr

["benoit dot hudson at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

>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