Command line options and pragmas

[Robert Dewar]

David Taylor wrote:

>. For starters, does this sound reasonable?  That is, if I implemented
>this, and we contributed it back, would it be considered?  Or would it
>likely be rejected out of hand?
>  
>
To me, it seems better to handle this in the external environment with 
appropriate
build tools. For example, in the GNAT world, we rely on the project 
manager to
handle this kind of thing, using a project file that specifies 
appropriate options, on
a file by file basis if needed).

Putting the options in the source file seems a confusion of concerns, 
since these
are highly non-portable and have nothing to do with the source language.