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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,7a2660c6e1ebff5d
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx01.iad01.newshosting.com!newshosting.com!198.186.194.249.MISMATCH!transit3.readnews.com!transit4.readnews.com!news-out.readnews.com!postnews3.readnews.com!not-for-mail
Message-Id: <4c137901$1$2388$4d3efbfe@news.sover.net>
From: "Peter C. Chapin" <pcc482719@gmail.com>
Subject: Re: FYI -- Lunar lander project relies on SPARK programming language
Newsgroups: comp.lang.ada
Date: Sat, 12 Jun 2010 08:12:39 -0400
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>
 <C83807EB.146DF7%yaldnif.w@blueyonder.co.uk>
User-Agent: KNode/0.10.9
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
Organization: SoVerNet (sover.net)
NNTP-Posting-Host: 0e2f0c75.news.sover.net
X-Trace: 
 DXC=ebR@ZQ8FfaWkW3GH]N8K\VK6_LM2JZB_S5a4cYH7B7HX:WUUlR<856_d20jUf1\d[TBUe6il^2k;W
X-Complaints-To: abuse@sover.net
Xref: g2news1.google.com comp.lang.ada:11659
Date: 2010-06-12T08:12:39-04:00
List-Id: <comp.lang.ada>

(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