From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7a2660c6e1ebff5d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news.glorb.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: FYI -- Lunar lander project relies on SPARK programming language
Date: Fri, 11 Jun 2010 15:34:03 +0100
Message-ID: <C83807EB.146DF7%yaldnif.w@blueyonder.co.uk>
References: 
 <51923058-6376-4a47-929a-3524184d3b45@x21g2000yqa.googlegroups.com>
 <op.vd24p6c1xmjfy8@garhos> <4C1110AA.2090206@obry.net>
 <87cnjdFafdU1@mid.individual.net> <4c1245f0$0$30803$4d3efbfe@news.sover.net>
Mime-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Trace: individual.net zFlNs3HEOjBSFlF95P8P7QuidUgitQC/womwfzt01ApSv21MTJ
Cancel-Lock: sha1:pk5OznDuZbUetq8TP7OaI4BYsmk=
User-Agent: Microsoft-Entourage/12.23.0.091001
Thread-Topic: FYI -- Lunar lander project relies on SPARK programming language
Thread-Index: AcsJcyNmBmj9rN9j8UqaDgMrcSEL1Q==
Xref: g2news2.google.com comp.lang.ada:12618
Date: 2010-06-11T15:34:03+01:00
List-Id: <comp.lang.ada>

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