From: fabien.chouteau@gmail.com
Subject: Re: GNAT GPL Edition for 8Bit AVR microcontrollers
Date: Wed, 7 Sep 2016 03:00:45 -0700 (PDT)
Date: 2016-09-07T03:00:45-07:00 [thread overview]
Message-ID: <cb3a751f-2a4d-4925-8799-93cec8948de9@googlegroups.com> (raw)
In-Reply-To: <a2f8f6ee-6a90-466b-81ed-3f9fda70332a@googlegroups.com>
Hi,
On Tuesday, September 6, 2016 at 11:30:50 PM UTC+2, jordanl...@gmail.com wrote:
> Hi All,
>
> I am currently working on a Project that involves programming a device (using ATmega328P) using the Ada programming language as well as SPARK Tools or Ravenscar profiles if possible to verify and validate the software.
>
> Here is my question:
>
> What version of GNAT must be used for full compatibility of AVR, what other tools are required for a smooth Achievement?
>
I don't think there is a binary release of GNAT for AVR. The only option I know is the community project AVR-Ada [1]. I've never tried it myself, but it's on my TODO list :)
[1] https://sourceforge.net/projects/avr-ada/
--
Fabien Chouteau
next prev parent reply other threads:[~2016-09-07 10:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-06 21:30 GNAT GPL Edition for 8Bit AVR microcontrollers jordanleemauro
2016-09-07 10:00 ` fabien.chouteau [this message]
2016-09-07 11:04 ` Simon Wright
2016-09-07 10:28 ` rrr.eee.27
2016-09-07 16:51 ` Tero Koskinen
2016-09-09 20:14 ` jordanleemauro
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox