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,3025dd6d917b499c
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.66.80.8 with SMTP id n8mr1919776pax.17.1351096917254;
        Wed, 24 Oct 2012 09:41:57 -0700 (PDT)
Path: 
 s9ni40545pbb.0!nntp.google.com!news.glorb.com!news-out.octanews.net!indigo.octanews.net!auth.beige.octanews.com.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ada, the best language with the not-so-best tool chain
References: <38af7fb8-b0a4-4a31-87aa-b7b698cc89c3@googlegroups.com>
	<3ca0ffd0-1764-484b-8fab-17c0d2dd9463@googlegroups.com>
	<1f645050-cf4c-40bf-a797-9687b69e4a54@googlegroups.com>
	<18ats2960nsvm$.kfufsnul13aq$.dlg@40tude.net>
	<5072c9ae$0$6562$9b4e6d93@newsspool4.arcor-online.net>
	<4keoa6epdxt7.1nnwxy7v7ar90.dlg@40tude.net>
	<5072dc68$0$6554$9b4e6d93@newsspool4.arcor-online.net>
	<1f7cmfp1l65w1.1deog8cfxbs0u$.dlg@40tude.net>
	<5072e37a$0$6556$9b4e6d93@newsspool4.arcor-online.net>
	<rue1igfn7vls.12ns24d6uzs5a$.dlg@40tude.net>
	<e35ad33d-72bc-4272-9adc-1af91001e7ec@googlegroups.com>
	<acb7tq62ahg5$.pat6tw22psz7.dlg@40tude.net>
	<fd2f8ee2-0ad6-49df-842b-2a6954970fa1@googlegroups.com>
	<1wzhg6cdjkwjj$.uq66rzr2nlgy.dlg@40tude.net>
	<k4ve02$g5a$1@dont-email.me> <k5ptpi$hf8$1@munin.nbi.dk>
	<7xzk3ckxbv.fsf@ruckus.brouhaha.com> <k68j01$irr$1@dont-email.me>
	<96e29613-fec6-488b-842b-8f5dbcf44a03@googlegroups.com>
	<7xtxtjvoag.fsf@ruckus.brouhaha.com> <op.wmoynkd9ule2fv@cardamome>
Date: Wed, 24 Oct 2012 09:41:56 -0700
Message-ID: <7xk3uflt4b.fsf@ruckus.brouhaha.com>
Organization: Nightsong/Fort GNOX
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:ZRCq1YN4Mit9cIWtbF/CUU9aljw=
MIME-Version: 1.0
NNTP-Posting-Date: 24 Oct 2012 11:41:57 CDT
X-Complaints-To: abuse@octanews.net
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Date: 2012-10-24T11:41:57-05:00
List-Id: <comp.lang.ada>

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
> Talking about Ravenscar, you may better think of it as a profile,
> while SPARK, as _based_ on an Ada subset.

As another matter, if GCC can compile C for a given target, is it likely
to be terribly difficult to use GNAT on that target?  I'm thinking of
the AVR processors (8-bit) and maybe the TI MSP430 (16 bit).  Both of
these work with GCC/GDB.