diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2009-03-16 13:23:13 +0000 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2009-03-16 13:23:13 +0000 |
| commit | f38095f3eefb2208f1c3cd79191e5a82eb017cb0 (patch) | |
| tree | d31663e2d5b73ecd6a69d626fe539ee2a8f21894 /gcc/doc | |
| parent | d495ef5a6c5f858d208c21fd1c6e27c9fa0337cf (diff) | |
| download | gcc-f38095f3eefb2208f1c3cd79191e5a82eb017cb0.zip gcc-f38095f3eefb2208f1c3cd79191e5a82eb017cb0.tar.gz gcc-f38095f3eefb2208f1c3cd79191e5a82eb017cb0.tar.bz2 | |
configure.ac (--with-host-libstdcxx): New option.
* configure.ac (--with-host-libstdcxx): New option.
* configure: Regenerate.
gcc/doc:
* doc/install.texi (--with-host-libstdcxx): Document.
From-SVN: r144881
Diffstat (limited to 'gcc/doc')
| -rw-r--r-- | gcc/doc/install.texi | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index b0c2e84..6bdfbec 100644 --- a/gcc/doc/install.texi +++ b/gcc/doc/install.texi @@ -1476,6 +1476,15 @@ you can explicitly specify the directory where they are installed shorthand assumptions are not correct, you can use the explicit include and lib options directly. +@item --with-host-libstdcxx=@var{linker-args} +If you are linking with a static copy of PPL, you can use this option +to specify how the linker should find the standard C++ library used +internally by PPL. Typical values of @var{linker-args} might be +@samp{-lstdc++} or @samp{-Wl,-Bstatic,-lstdc++,-Bdynamic -lm}. If you are +linking with a shared copy of PPL, you probably do not need this +option; shared library dependencies will cause the linker to search +for the standard C++ library automatically. + @item --with-debug-prefix-map=@var{map} Convert source directory names using @option{-fdebug-prefix-map} when building runtime libraries. @samp{@var{map}} is a space-separated |