On Aug 19, 2014, at 4:25 PM, René J.V. Bertin wrote: > > Would it at least be possible to provide a binary port for libgcc, to avoid having to build (a large part of) 2 gcc versions? If it is possible to provide a binary, it is done automatically. It looks like binaries for libgcc do exist.