[Bug bootstrap/40447] Add a switch to configure to allow *source* directory of mprt and gmp to be specified.

[Bug bootstrap/40447] Add a switch to configure to allow *source* directory of mprt and gmp to be specified.

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40447

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
   Target Milestone|---                         |4.5.0
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Been fixed for a long time now.

[Bug bootstrap/40447] Add a switch to configure to allow *source* directory of mprt and gmp to be specified.

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40447

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|FIXED                       |WONTFIX

--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Rather the ask is not going to be fixed, the symbolic link trick works, even
more you can make a new directory which symbolic links from the gcc sources
toplevel directory and then have the GMP symbolic link there.  So if GCC
sources can still be in read only directory if needed.

Oh the version of GMP/MPFR/MPC is already printed out for a long time now.

[Bug bootstrap/40447] Add a switch to configure to allow *source* directory of mprt and gmp to be specified.

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2009-06-15 17:20 -------
Has been true since:
r124822 | ghazi | 2007-05-17 19:04:02 -0700 (Thu, 17 May 2007) | 3 lines

        * toplev.c (print_version): Output GMP/MPFR version info.


-- 


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

[Bug bootstrap/40447] Add a switch to configure to allow *source* directory of mprt and gmp to be specified.

[jwakely dot gcc at gmail dot com]

------- Comment #5 from jwakely dot gcc at gmail dot com  2009-06-15 17:19 -------
Older versions show the information too:

$ echo | gcc -v -x c -c - 2>&1 | fgrep -B1 GMP
GNU C (GCC) version 4.3.2 (i686-pc-linux-gnu)
        compiled by GNU C version 4.3.2, GMP version 4.2.3, MPFR version 2.3.1.


-- 


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

[Bug bootstrap/40447] Add a switch to configure to allow *source* directory of mprt and gmp to be specified.

[david dot kirkby at onetel dot net]

------- Comment #4 from david dot kirkby at onetel dot net  2009-06-15 16:56 -------
I assume this is only in your experimental version. I can see that is an
improvement. I still think the switch would be useful, but it does reduce the
need for it somewhat. 


-- 


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

[Bug bootstrap/40447] Add a switch to configure to allow *source* directory of mprt and gmp to be specified.

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2009-06-15 16:53 -------
GCC already outputs the version of GMP/MPFR:
GNU C (GCC) version 4.5.0 20090519 (experimental) [trunk revision 147718]
(i386-apple-darwin8.11.1)
        compiled by GNU C version 4.5.0 20090519 (experimental) [trunk revision
147718], GMP version 4.2.2, MPFR version 2.4.1


-- 


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

[Bug bootstrap/40447] Add a switch to configure to allow *source* directory of mprt and gmp to be specified.

[david dot kirkby at onetel dot net]

------- Comment #2 from david dot kirkby at onetel dot net  2009-06-15 16:52 -------
That's what I did. 

The real benefit I see is that someone could see what versions of the gmp and
mpfr were used to configure gcc. So if they wanted to build it the same, they
would have a much better chance. It would also be quicker to do. 

I guess it depends on the amount of worked needed to the configure.ac to
determine if this is sensible or not. 


-- 


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

[Bug bootstrap/40447] Add a switch to configure to allow *source* directory of mprt and gmp to be specified.

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2009-06-15 14:59 -------
You can use soft links inside the source directory to say where the source
directories are located.  Is that good enough?


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Add a switch to configure to|Add a switch to configure to
                   |allow *source* directory of |allow *source* directory of
                   |mprt and gmp to be          |mprt and gmp to be
                   |specified.                  |specified.


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