Re: Project file - suggestions/help needed.

["Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org>]

Thomas wrote:
> 
> The goals of the file is:
> 
> 1. A fairly well optimized executable

-O2 is probably a better choice than -O3, which applies possibly dangerous 
experimental optimizations.

> 2. Generate as many style warnings as possible

-gnatwa

> 3. Enable Ada 2005 extensions
> 4. It should work for basic Ada projects, coded by two beginners

Ada, as described in the ARM, requires integer overflow checking (-gnato), 
raising Storage_Error if you bust the stack (-fstack-check), and dynamic 
elaboration checks (-gnatE). If you want cross-unit inlining, you need -gnatn.

GNAT does static elaboration checking, which is fine for most situations, but 
will reject some valid Ada code, so leaving off -gnatE is usually not a problem. 
But I would recommend that you use -gnato and -fstack-check.

-- 
Jeff Carter
"You've got the brain of a four-year-old boy,
and I bet he was glad to get rid of it."
Horse Feathers
47