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. ...