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

            Bug ID: 67099
           Summary: Documentation --with-host-libstdcxx is outdated,
                    mentions ppl
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: trivial
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vries at gcc dot gnu.org
  Target Milestone: ---

https://gcc.gnu.org/install/configure.html:
...
--with-host-libstdcxx=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 linker-args might be ‘-lstdc++’ or
‘-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. 
...

PPL is not supported anymore. The only function of with-host-libstdcxx seems to
be to set other configure flags to a default. So a more accurate doc would be:
...
--with-host-libstdcxx=linker-args
Sets default value for --with-stage1-libs and --with-boot-libs. Sets default
value for --with-boot-ldflags to empty.
...

Reply via email to