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

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

[benoit dot hudson at gmail dot com]

>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

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

[bje at gcc dot gnu dot org]

-- 

bje at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |bje at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-01-22 04:38:24
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34818

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

[bje at gcc dot gnu dot org]

------- Comment #1 from bje at gcc dot gnu dot org  2008-01-22 04:57 -------
I agree with your reasoning for the easy fix.  I'll post a patch and we'll see
if it is accepted.  If not, there is a fair bit more work involved to split the
gmplibs variable into two new variables.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34818

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

[bje at gcc dot gnu dot org]

-- 

bje at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|bje at gcc dot gnu dot org  |unassigned at gcc dot gnu
                   |                            |dot org
             Status|ASSIGNED                    |NEW


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34818

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

[ghazi at gcc dot gnu dot org]

------- Comment #2 from ghazi at gcc dot gnu dot org  2009-04-16 01:05 -------
Where on your system is the "ancient" mpfr located?  Is it in the /sw
directory?
(In reply to comment #0)
> 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:
> [...]
> In other words, it's possible to update gmp and use the system mpfr, but not to
> update mpfr and use the system gmp.

Where on your system the "ancient" mpfr located?  Is it in the /sw directory? 
If so, why are you calling it the "system mpfr"?  Does gcc search the /sw
directory by default like /usr/include & /usr/lib?


-- 

ghazi at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ghazi at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34818