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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,3025dd6d917b499c X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 Received: by 10.66.86.39 with SMTP id m7mr9324271paz.4.1351478371186; Sun, 28 Oct 2012 19:39:31 -0700 (PDT) Path: s9ni66434pbb.0!nntp.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!newsreader4.netcologne.de!news.netcologne.de!newsfeed.straub-nv.de!news2.arglkargh.de!news.mixmin.net!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: Ada, the best language with the not-so-best tool chain Date: Wed, 24 Oct 2012 18:57:00 +0200 Organization: Ada @ Home Message-ID: References: <38af7fb8-b0a4-4a31-87aa-b7b698cc89c3@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> <1wzhg6cdjkwjj$.uq66rzr2nlgy.dlg@40tude.net> <7xzk3ckxbv.fsf@ruckus.brouhaha.com> <96e29613-fec6-488b-842b-8f5dbcf44a03@googlegroups.com> <7xtxtjvoag.fsf@ruckus.brouhaha.com> <7xk3uflt4b.fsf@ruckus.brouhaha.com> NNTP-Posting-Host: qMb93YQAAEXAn86i0hBe/g.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/12.02 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 X-Received-Bytes: 3556 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable Date: 2012-10-24T18:57:00+02:00 List-Id: Le Wed, 24 Oct 2012 18:41:56 +0200, Paul Rubin = a = =C3=A9crit: > "Yannick Duch=C3=AAne (Hibou57)" 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 like= ly > to be terribly difficult to use GNAT on that target? My personal thinking is not a lot reliable, but I would notice two thing= s. = The first is that GCC stands for GNU C Compiler; and the second is that = = there were indeed some issue with the intermediate language it use, whic= h = shown (in the past), to not be very well suited for Ada or at least GNAT= = (or just its runtime?). There use to be some tweakeries to make it work = = properly with GCC, if my mind is right. Porting GCC or creating one whic= h = can target a platform, is one thing, doing the same for GNAT, although i= t = uses GCC, is another. And that still not counting the libraries issues=E2= =80=A6 = (same story for both Ada and C, by the way). Porting or targeting, is no= t = so simple, it involves many things, not just an intermediate language. = This also depends a lot on the requirements, as you may understand (and = as = some people already pointed). -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [1] [1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers= ity