From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: elaboration circularity detected problem, How to fix?
Date: Tue, 21 Sep 2004 12:53:32 -0500
Date: 2004-09-21T12:53:32-05:00 [thread overview]
Message-ID: <wI-dnTN3oLzI983cRVn-og@megapath.net> (raw)
In-Reply-To: 414ffc57$1_1@baen1673807.greenlnk.net
"Martin Dowie" <martin.dowie@baesystems.com> wrote in message
news:414ffc57$1_1@baen1673807.greenlnk.net...
> Randy Brukardt wrote:
> > We had to put in a bunch of Gnat-specific pragmas to eliminate the
> problems.
> > Program_Error would never be raised at runtime, and remember that you
> > need -gnatE to conform to the standard (dynamic elaboration checks is
> > what the Standard requires).
>
> So to change from "GNAT" to "Ada" the list of options is
> "-gnato -gnatE -fstack-check"? Anyone got any more?..
The options used for running the ACATS the last time that GNAT was tested
for conformity were:
-O0 -gnatE -gnato -gnatv -gnatws -gnatd7
(You can find this information in the conformity assessment report, which
you can find on-line at www.adaic.com under the "Compilers and Conformity"
section, look in the CPL.)
-gnatv gives verbose messages, -gnatd7 suppresses time stamps in those
messages (presumably to make them easier to compare), and -gnatws is to
suppress warnings.
Of course, this is fairly old (it was done in late 1998) and possibly some
things have changed in the interim.
Randy.
next prev parent reply other threads:[~2004-09-21 17:53 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-09-20 14:51 elaboration circularity detected problem, How to fix? Scott Travak
2004-09-20 15:52 ` Martin Dowie
2004-09-20 17:11 ` Florian Weimer
2004-09-20 21:19 ` Randy Brukardt
2004-09-21 10:09 ` Martin Dowie
2004-09-21 17:53 ` Randy Brukardt [this message]
2004-09-21 6:32 ` Scott Travak
2004-09-21 7:30 ` gnat options (Re: " Peter Hermann
2004-09-21 8:00 ` Scott Travak
2004-09-21 8:09 ` Alex R. Mosteo
[not found] ` <7e7vk0dv2qhpqbdd58c0bvpesitapijr8v@4ax.com>
2004-09-21 6:44 ` Scott Travak
2004-09-21 18:40 ` Ludovic Brenta
2004-09-21 20:15 ` Scott Travak
2004-09-22 21:08 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox