Re: GNAT GPL Edition for 8Bit AVR microcontrollers

[rrr.eee.27@gmail.com]

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?
> 
> Thanks

The last published version of AVR-Ada was for gcc-4.7. I updated the GIT repository for gcc-4.9 and I have a half baked version for gcc-5.3 on my computer. I am not sure if I find the energy to update AVR-Ada for gcc-6, there must be some demand and it could be yours.

Already gcc-4.7 had some Ada2012 feature. If you stick to Ada2005 that version is fully Ada compatibel and works reasonably well. The Atmega328 is used on the Arduinos, that means it is probably the most tested MCU among the AVR chips.

Please send me or (preferred) the avr-ada-devel mailing list direct messages if you need assistance in building the toolchain.

best regards
    RE