diff options
| author | Joseph Myers <jsm28@cam.ac.uk> | 2001-11-06 20:05:07 +0000 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2001-11-06 20:05:07 +0000 |
| commit | 80f9249adae5fd98b349c0c72d8eb43f21ec44e9 (patch) | |
| tree | c63a9b2f73ab3699a093c3d34a50fae7a24f502a /gcc/doc/install.texi | |
| parent | e180d2b01dc0c6fb6aeb97764f821ebb76404704 (diff) | |
| download | gcc-80f9249adae5fd98b349c0c72d8eb43f21ec44e9.zip gcc-80f9249adae5fd98b349c0c72d8eb43f21ec44e9.tar.gz gcc-80f9249adae5fd98b349c0c72d8eb43f21ec44e9.tar.bz2 | |
install.texi: Document that configure options not listed in this file are unsupported.
* doc/install.texi: Document that configure options not listed in
this file are unsupported. Document --with-system-zlib.
From-SVN: r46811
Diffstat (limited to 'gcc/doc/install.texi')
| -rw-r--r-- | gcc/doc/install.texi | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index 2ec79c7..683c82b 100644 --- a/gcc/doc/install.texi +++ b/gcc/doc/install.texi @@ -309,7 +309,9 @@ implies that the host defaults to @var{target}. @heading Options specification Use @var{options} to override several configure time options for -GCC@. A partial list of supported @var{options}: +GCC@. A list of supported @var{options} follows; @command{configure +--help} may list other options, but those not listed below may not +work and should not normally be used. @table @code @item --prefix=@var{dirname} @@ -711,6 +713,10 @@ inferior @code{catgets} interface, the GCC build procedure normally ignores @code{catgets} and instead uses GCC's copy of the GNU @code{gettext} library. The @option{--with-catgets} option causes the build procedure to use the host's @code{catgets} in this situation. + +@item --with-system-zlib +Use installed zlib rather than that included with GCC@. This option +only applies if the Java front end is being built. @end table Some options which only apply to building cross compilers: |