Kompilator Ada dla procesorów Arm

Question

Czy ktoś zna kompilator Ada dla procesorów Arm? Przeszukałem internet przez wiele godzin i nie mogłem go znaleźć. Dzięki, Yony.

Answer 1

Istnieje kompilator ADA GNAT, który może być używany do ARM. Na przykład, nie jest to debian (Linux) pakiet gnat dla Armel: http://packages.debian.org/squeeze/gnat

Jest nawet wersja komara z ARM partnerskiego AdaCore, nazwany GNAT Pro: http://www.arm.com/community/partners/display_product/rw/ProductId/5620/ prace

IBM Rational Ada Wbudowane tylko dla MIPS, m68k , x86, RH-32, może być SPARC.

Irvine ICC Ada działa tylko dla x86; sparc; TI DSP C62xx/C64xx/C67xx; PowerPC 5xx, 6xx, 7xx; Intel i960; Intel i960; ADSP-210x0 SHARC DSP.

Green Hills Ada95 działa tylko dla: Power, 68k, CPU32, MIPS, x86, SPARC (docs)

Answer 2

Istnieje kilka wątków w comp.lang.ada że rozmowy na ten temat. IIRC istnieje kilka możliwości o różnym stopniu wsparcia.

To niefortunne, że w świecie Ada ARM oznacza przede wszystkim Ada Reference Manual, która może utrudnić nieco wyszukiwanie, ale tutaj jest kilka wątków, które mogę szybko zlokalizować. Przed ich wymienieniem, aby odpowiedź była niezależna od konkretnego punktu, starodawna (ale nadal ważna, chyba) opcja to używanie RTEMS. Ostatni wysiłek to gnatdroid (sprawdź www.dragonlace.net). Nie mam osobistego doświadczenia z żadnym z nich. Wydaje mi się, że wciąż brakuje mi drugiego projektu na Androida, ale nie mogę go teraz zapamiętać ani zlokalizować.

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

Jest GNATDroid, który przede wszystkim skierowany Android na ramieniu:

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

Być może można to wykorzystać jako podstawę dla ARM rzeczy.