From: Tim Rowe <spamtrap@tgrowe.plus.net>
Subject: Re: Newby-ish question -- SPARK v. Ada2005 problem
Date: Fri, 05 Jun 2009 21:37:56 +0100
Date: 2009-06-05T21:37:56+01:00 [thread overview]
Message-ID: <PK2dnf-6XJe6H7TXnZ2dnUVZ8umdnZ2d@brightview.co.uk> (raw)
In-Reply-To: <74074524-bae8-4426-a75e-d0681e7c670b@g20g2000vba.googlegroups.com>
roderick.chapman@googlemail.com wrote:
> Basically, you're correct - Tokeneer is written in SPARK95,
> so you need the -gnat95 switch to compile. This is specified
> in the code/common.gpr project file that accompanies the
> release.
I was wondering about my own new code -- is there a way I could have
written that function in Ada 2005 and still be compatible with SPARK?
prev parent reply other threads:[~2009-06-05 20:37 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-04 23:35 Newby-ish question -- SPARK v. Ada2005 problem Tim Rowe
2009-06-05 7:36 ` roderick.chapman
2009-06-05 13:32 ` Compiler Warnings while building the SPARK Tokeneer anon
2009-06-05 20:37 ` Tim Rowe [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox