comp.lang.ada
 help / color / mirror / Atom feed
From: Ivan Levashev <bu_gen@octagram.name>
Subject: Re: Embeddinator-4000 begetting an Ada-cross-platform future?
Date: Sat, 03 Mar 2018 02:55:40 +0700
Date: 2018-03-03T02:55:40+07:00	[thread overview]
Message-ID: <p7cadh$hqt$1@dont-email.me> (raw)
In-Reply-To: <1363717572.541370064.207029.laguest-archeia.com@nntp.aioe.org>

27.02.2018 3:35, Luke A. Guest пишет:
> Luke A. Guest <laguest@archeia.com> wrote:
>> There is an iOS target for gnat but we don’t have access to it as it’s
>> internal.
>>
>
> There is jgnat and A# but unfortunately the rts is all GPL v3. Which
> doesn’t help.
>
And there is AdaMagic in MapuSoft, probably not that costly.

And there is SPARK2C emerging inside AdaCore.

Best Regards,
Ivan Levashev,
Barnaul

--
If you want to get to the top, you have to start at the bottom


  parent reply	other threads:[~2018-03-02 19:55 UTC|newest]

Thread overview: 34+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-02-26 17:06 Embeddinator-4000 begetting an Ada-cross-platform future? Dan'l Miller
2018-02-26 17:46 ` Dan'l Miller
2018-02-26 19:38   ` Mehdi Saada
2018-02-26 19:51     ` Dan'l Miller
2018-02-26 20:34 ` Luke A. Guest
2018-02-26 20:35   ` Luke A. Guest
2018-02-26 22:41     ` Dan'l Miller
2018-03-02 19:55     ` Ivan Levashev [this message]
2018-02-26 21:43   ` Dan'l Miller
2018-02-26 22:12     ` Luke A. Guest
2018-02-26 22:26       ` Dan'l Miller
2018-02-26 23:32         ` Randy Brukardt
2018-02-26 23:56           ` Dan'l Miller
2018-02-28 15:55             ` Dan'l Miller
2018-02-28 17:24               ` Lucretia
2018-02-28 19:20                 ` Dan'l Miller
2018-03-01 16:03                   ` Dan'l Miller
2018-03-01 18:04                   ` Shark8
2018-03-01 19:09                     ` Dan'l Miller
2018-03-01 22:25                       ` Shark8
2018-03-01 23:08                       ` Randy Brukardt
2018-03-02  5:39                         ` Bojan Bozovic
2018-02-26 22:30       ` Dan'l Miller
2018-02-26 22:36         ` Luke A. Guest
2018-03-01 20:36 ` Robert Eachus
2018-03-09 16:45   ` Dan'l Miller
2018-03-13  9:54     ` alby.gamper
2018-03-13 15:26       ` Dan'l Miller
2018-03-14  8:53         ` alby.gamper
2018-03-14 15:24           ` Dan'l Miller
2018-03-16  9:55             ` alby.gamper
2018-03-16 15:35               ` Dan'l Miller
2018-03-02 20:18 ` Ivan Levashev
2018-03-05 16:57   ` Dan'l Miller
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox