FYI -- Lunar lander project relies on SPARK programming language
in [ADA]
|
Prev: Generic package with dynamic subprogram name?
Next: What is the best way to convert Integer to Short_Short_Integer?
From: (see below) on 11 Jun 2010 10:34 On 11/06/2010 15:22, in article 4c1245f0$0$30803$4d3efbfe(a)news.sover.net, "Peter C. Chapin" <pcc482719(a)gmail.com> wrote: > Niklas Holsti wrote: > >>> Right, would be nice to know which Ada compiler will be used to generate >>> the code for the target. >> >> An earlier article on CubeSat (Ada User Journal, September 2008, page >> 213) says that they use(d) SofCheck's AdaMagic Ada-to-C compiler, >> followed by Rowley Associates' CrossWorks C compiler. > > I can speak to this issue as I am directly involved with this project. And > yes, our intention is to compile the Ada to C using SofCheck's AdaMagic and > then compile the C with CrossWorks. Can you say why? Is there no Ada compiler that directly targets your CPU? -- Bill Findlay <surname><forename> chez blueyonder.co.uk
From: Peter C. Chapin on 12 Jun 2010 08:12
(see below) wrote: >> I can speak to this issue as I am directly involved with this project. And >> yes, our intention is to compile the Ada to C using SofCheck's AdaMagic and >> then compile the C with CrossWorks. > > Can you say why? Is there no Ada compiler that directly targets your CPU? > There is a GCC based tool chain supporting the MSP430. See: http://mspgcc.sourceforge.net/ Presumably we could compile GNAT on top of this tool chain. However, Rowley's product gives excellent and "direct" support for the chips we are using: GUI debugging tools, simulation tools, IDE support, etc. Also Rowley's compiler is supported by third parties who simple OS kernels for this platform. Our tool chain works "out of the box" after just making a few configuration adjustments to AdaMagic. We felt that there would be more problems trying to get GNAT to work. I do not know of any Ada compiler that generates code directly for the MSP430. Peter |