From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Subject: Re: FYI -- Lunar lander project relies on SPARK programming language
Date: Fri, 11 Jun 2010 15:34:03 +0100
Date: 2010-06-11T15:34:03+01:00 [thread overview]
Message-ID: <C83807EB.146DF7%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: 4c1245f0$0$30803$4d3efbfe@news.sover.net
On 11/06/2010 15:22, in article 4c1245f0$0$30803$4d3efbfe@news.sover.net,
"Peter C. Chapin" <pcc482719@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
next prev parent reply other threads:[~2010-06-11 14:34 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-10 12:16 FYI -- Lunar lander project relies on SPARK programming language melampus
2010-06-10 12:52 ` Yannick Duchêne (Hibou57)
2010-06-10 16:19 ` Pascal Obry
2010-06-10 18:01 ` Niklas Holsti
2010-06-11 11:14 ` Colin Paul Gloster
2010-06-11 14:22 ` Peter C. Chapin
2010-06-11 14:34 ` (see below) [this message]
2010-06-12 12:12 ` Peter C. Chapin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox