From: roderick.chapman@googlemail.com
Subject: Re: Newby-ish question -- SPARK v. Ada2005 problem
Date: Fri, 5 Jun 2009 00:36:53 -0700 (PDT)
Date: 2009-06-05T00:36:53-07:00 [thread overview]
Message-ID: <74074524-bae8-4426-a75e-d0681e7c670b@g20g2000vba.googlegroups.com> (raw)
In-Reply-To: jMadnSV-Scvbx7XXnZ2dnUVZ8s2dnZ2d@brightview.co.uk
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.
Someday, we'll update SPARK_IO to be compatible with Ada2005...
- Rod Chapman, SPARK Team
next prev parent reply other threads:[~2009-06-05 7:36 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 [this message]
2009-06-05 13:32 ` Compiler Warnings while building the SPARK Tokeneer anon
2009-06-05 20:37 ` Newby-ish question -- SPARK v. Ada2005 problem Tim Rowe
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox