Re: Gnat-GCC integration

[Ludovic Brenta <ludovic.brenta@insalien.org>]

Björn Persson <spam-away@nowhere.nil> writes:

> Ludovic Brenta wrote:
>> I agree that much progress has been made in the integration of GNAT
>> into GCC.  However, ASIS and GLADE for GCC 4.0 are still missing,
>> unfortunately.
>
> And what about Gnatelim, Gnatmetric, GnatPP and Gnatstub? They don't
> seem to come with GCC, and as far as I know no separate releases are
> made. Nonetheless, the "gnat" command in GCC announces their existence.

That's right; all these commands require ASIS (not sure about gnatpp
though).  Even the GNAT 3.15p User's Guide has sections about gnatstub
and gnatelim, but they are part of the ASIS distribution.

-- 
Ludovic Brenta.