Florian Weimer wrote: > Sorry, I missed -gnatwn. It even makes style check failures > non-fatal. Apparently, it is indeed sufficient to add "-gnatwn" when > we hit bootstrap failures due to the problems I alluded to. It would still be interesting to know what bootstrap failures you are encountering in more detail (beyond an "allusion" :-)