https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80556
--- Comment #12 from Tristan Gingold <gingold at adacore dot com> --- On 09/05/2017 14:43, dominiq at lps dot ens.fr wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80556 > > --- Comment #11 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > Any chance to see this PR fixed soon? Did you try to get gnat1 built without -static-libgcc ?