Re: [PATCH]: GMP/MPFR in-tree build instructions [Was: Re: [PATCH]: bump minimum MPFR version, (includes some fortranbits)]

[Tobias Schlüter <tobias dot schlueter at physik dot uni-muenchen dot de>]

Gerald Pfeifer wrote:
> On Tue, 14 Oct 2008, Tobias Schlüter wrote:
> > I'll take care of this, provided Gerald approves the change.  Gerald, if 
> > you think that copyright is a problem, I'll gladly rephrase it.
>
> Thanks for the change, it looks like a good one.  You may want to make
> one or the other adjustment for extra safety, but this should be on the 
> harmless side.

I expanded the patch somewhat, so that the information appears in a 
somewhat more user-friendly place.  See below.

Committed after make info, make dvi and make html succeeded.

Cheers,
- Tobi

2008-10-19  Tobias Schlüter  <tobi@gcc.gnu.org>

	* doc/install.texi: Document in-tree building of gcc and mpfr.

Index: install.texi
===================================================================
--- install.texi	(revision 141230)
+++ install.texi	(working copy)
@@ -307,7 +307,9 @@ systems' @command{tar} programs will als
 Necessary to build GCC@.  If you do not have it installed in your
 library search path, you will have to configure with the
 @option{--with-gmp} configure option.  See also
-@option{--with-gmp-lib} and @option{--with-gmp-include}.
+@option{--with-gmp-lib} and @option{--with-gmp-include}.  Alternatively,
+if a GMP source ditribution is found in a subdirectory of you GCC
+sources named @file{gmp}, it will be built together with GCC@.
 
 @item MPFR Library version 2.3.2 (or later)
 
@@ -319,8 +321,12 @@ fixed when using this version.  It is st
 to the recommended version of MPFR.
 
 The @option{--with-mpfr} configure option should be used if your MPFR
-Library is not installed in your default library search path.  See
-also @option{--with-mpfr-lib} and @option{--with-mpfr-include}.
+Library is not installed in your default library search path.  See also
+@option{--with-mpfr-lib} and @option{--with-mpfr-include}.
+Alternatively, if a MPFR source ditribution is found in a subdirectory
+of you GCC sources named @file{mpfr}, it will be built together with
+GCC@.
+
 
 @item @command{jar}, or InfoZIP (@command{zip} and @command{unzip})
 
@@ -496,6 +502,12 @@ components of the binutils you intend to
 (@file{bfd}, @file{binutils}, @file{gas}, @file{gprof}, @file{ld},
 @file{opcodes}, @dots{}) to the directory containing the GCC sources.
 
+Likewise, the GMP and MPFR libraries can be automatically built together
+with GCC.  Unpack the GMP and/or MPFR source distributions in the
+directory containing the GCC sources and rename their directories to
+@file{gmp} and @file{mpfr}, respectively (or use symbolic links with the
+same name).
+
 @html
 <hr />
 <p>