Ada Compiler for Arm Processors

Question

Does anyone know an Ada compiler for Arm processors? I searched the Internet for many hours and did not find it. Thanks, Yony.

Answer 1

There is a GNAT ada compiler that can be used for ARM. For example, there is a debian (linux) GNAT package for ARMel: http://packages.debian.org/squeeze/gnat

There is even a version of GNAT from an ARM AdaCore partner called GNAT Pro: http://www.arm.com/community/partners/display_product/rw/ProductId/5620/

IBM Rational Ada Embedded only works for MIPS, M68K, x86, RH-32, maybe SPARC.

Irvine ICC Ada only works for x86; SPARK; TI DSP C62xx / C64xx / C67xx; PowerPC 5xx, 6xx, 7xx; Intel i960; Intel i960; ADSP-210x0 SHARC DSP.

Green Hills Ada95 only works for: Power, 68k, CPU32, MIPS, x86, SPARC (docs)

Answer 2

There are several threads in comp.lang.ada that talk about this. IIRC there are several options with varying degrees of support.

It’s unfortunate that in the world of Ada, ARM stands mainly for the Ada reference guide, which may complicate your search, but here are a few threads that I could quickly find. Before listing them in order to make the answer self-sufficient to some point, an ancient (but still valid, I think) option is to use RTEMS. A recent effort is gnatdroid (check out www.dragonlace.net). I have no personal experience with any of them. I think I'm still missing a second recent Android-oriented project, but I can't remember it and can't find it now.

https://groups.google.com/forum/#!topic/comp.lang.ada/dUEvFLDEOi0

https://groups.google.com/forum/#!topic/comp.lang.ada/c1YOG9jRvas

https://groups.google.com/forum/#!topic/comp.lang.ada/8UyIPO6te6M

Answer 3

There is a GNATDroid that mainly targets Android on ARM:

http://www.dragonlace.net/gnataux/armv7/

Perhaps you can use this as a basis for ARM materials.