From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: Ada Implementation of functions and produce C for exotic architectures (Expressif)
Date: Wed, 11 Apr 2018 23:31:36 +0300
Date: 2018-04-11T23:31:36+03:00 [thread overview]
Message-ID: <fj79l8Fl9qnU1@mid.individual.net> (raw)
In-Reply-To: <ab0d936e-f511-46c7-8acd-39810479f257@googlegroups.com>
On 18-04-11 22:22 , Dan'l Miller wrote:
> On Wednesday, April 11, 2018 at 2:07:44 PM UTC-5, Patrice Freydiere
> wrote:
>> ... From a gnat documentation I saw the c target .
>
> At what URL did you see that C would be a supported backend target of
> GNAT (instead of merely generating C header files)?
http://docs.adacore.com/live/wave/gnat_ccg/html/gnatccg_ug/gnat_ccg.html
This seems to be a new AdaCore product which really compiles Ada to C
and is not just a header-file generator.
There are and have been other such tools, for example AdaMagic from
SofCheck. SofCheck merged with AdaCore some time ago; possibly CCG has
some heritage from the AdaMagic Ada-to-C translator, possibly not.
--
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
. @ .
next prev parent reply other threads:[~2018-04-11 20:31 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-11 17:17 Ada Implementation of functions and produce C for exotic architectures (Expressif) Patrice Freydiere
2018-04-11 18:46 ` Dan'l Miller
2018-04-11 19:07 ` Patrice Freydiere
2018-04-11 19:22 ` Dan'l Miller
2018-04-11 20:31 ` Niklas Holsti [this message]
2018-04-12 8:10 ` Mark Lorenzen
2018-04-11 19:41 ` Paul Rubin
2018-04-11 20:31 ` Dan'l Miller
2018-04-11 22:30 ` Randy Brukardt
2018-04-11 21:14 ` Simon Wright
2018-04-12 6:17 ` Patrice Freydiere
2018-04-12 7:19 ` rrr.eee.27
2018-04-12 7:51 ` Simon Wright
2018-04-11 21: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