Re: How to compile Barnes' examples from his book using GNAT

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

On 12/06/2015 04:24 AM, Brian Drummond wrote:
> 
> So, 
> gnatchop XPROG6.txt
> gnatmake tower_of_hanoi.adb
> 
> Job done.

Almost. However, with no options, GNAT is not an Ada compiler. It doesn't insert
integer-overflow checks, stack-overflow checks, assertion checks, pre- and
post-condition checks, predicate checks, or invariant checks. The programs may
behave differently without these checks than described in the book.

In addition, it uses GNAT's static elaboration order rather than doing
elaboration as described in the ARM. This shouldn't affect the behavior of the
programs, though, so it's not really important.

The options to include all the checks in the ARM are

-gnatao -fstack-check

The option to use ARM elaboration is -gnatE.

Since we have to type options to get an Ada compiler, one might also want to use

 -gnatn -gnatwa -O2

to turn on cross-unit inlining, turn on all warnings, and perform some optimization.

The available options are described in detail in the top-secret GNAT User's Guide:

http://docs.adacore.com/gnat_ugn-docs/html/gnat_ugn/gnat_ugn.html

-- 
Jeff Carter
"I wave my private parts at your aunties."
Monty Python & the Holy Grail
13