From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,6da02c98ea5cc99c X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wns13feed!worldnet.att.net!attbi_s21.POSTED!53ab2750!not-for-mail From: "Jeffrey R. Carter" User-Agent: Thunderbird 2.0.0.16 (Windows/20080708) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Project file - suggestions/help needed. References: <4895659d$0$15880$edfadb0f@dtext01.news.tele.dk> In-Reply-To: <4895659d$0$15880$edfadb0f@dtext01.news.tele.dk> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <2Hllk.282253$yE1.253487@attbi_s21> NNTP-Posting-Host: 12.201.97.213 X-Complaints-To: abuse@mchsi.com X-Trace: attbi_s21 1217783614 12.201.97.213 (Sun, 03 Aug 2008 17:13:34 GMT) NNTP-Posting-Date: Sun, 03 Aug 2008 17:13:34 GMT Organization: AT&T ASP.att.net Date: Sun, 03 Aug 2008 17:13:34 GMT Xref: g2news1.google.com comp.lang.ada:1428 Date: 2008-08-03T17:13:34+00:00 List-Id: 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