On 18 Jun 2015, at 10:26, Simon Wright <simon@xxxxxxxxxxxx> wrote: > Just building 4.9.3 (as patched by AdaCore) now. Worked OK - I think. default: both libgcc and libstdc++ are shared. -static-libstdc++: libgcc is shared, libstdc++ is static. -static-libgcc: both libgcc and libstdc++ are static. -shared-libstdc++: g++: error: unrecognized command line option '-shared-libstdc++' > For some reason the patch didn’t apply, though the line number was right — perhaps some mail-mangling. Did it by hand. One of your lines got wrapped, and copy/paste retained the extra linefeed.
