Ada policy

[Florian Weimer]

* Robert Dewar:

> Florian Weimer wrote:
>
>>>We can consider that sort of thing if we run into it,
>> No, you can't, unless you've got a time machine.  The Ada compiler
>> which builds the stage1 compiler must support this option.  You must
>> add it in advance, otherwise it won't be there when you need it.
>
> Sorry, I don't see the point. You can perfectly well override anything
> you don't like in -gnatg with command line options, nothing special is
> required in the compiler as far as I can see.

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.