https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65762
--- Comment #3 from François Dumont <fdumont at gcc dot gnu.org> --- Created attachment 55834 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55834&action=edit Patch proposal Here is a proposal that I'll submit on libstdc++ mailing list once PR83077 is fixed. Note that in addition to allowing the configuration reported here it also make --disable-libstdcxx-dual-abi use cxx11 abi per default. I'm not sure that this part will be accepted.