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,40f73f60d2dd9ea0 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news3.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.scarlet.biz!news.scarlet.biz.POSTED!not-for-mail NNTP-Posting-Date: Fri, 22 Jul 2005 00:05:06 -0500 Newsgroups: comp.lang.ada Subject: Re: Gnat-GCC integration References: <1121864187.299726.202470@o13g2000cwo.googlegroups.com> <42de506f$0$20149$9b4e6d93@newsread2.arcor-online.net> <87br4w8pay.fsf@insalien.org> <_5SDe.29483$d5.182655@newsb.telia.net> From: Ludovic Brenta Date: Fri, 22 Jul 2005 07:01:58 +0200 Message-ID: <87u0in77sp.fsf@insalien.org> User-Agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.4 (gnu/linux) Cancel-Lock: sha1:buJcJEt84r7RTA0P4hUla8B/mik= MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit NNTP-Posting-Host: 83.134.239.177 X-Trace: sv3-FSsZzhAd1jdufiSpx2dgWkkRsDH/5VlKuncN4EnpsYNXCzq7y49PQaZuRVg8ifNdJFAsnYruGD6nvb7!IgqDVMgvIA1XnIzLhI9tj99jUWFw5gT9kUiqew0cHXzkrsKeqD+BYG7Ocbv0dys/3Rw= X-Complaints-To: abuse@scarlet.be X-DMCA-Complaints-To: abuse@scarlet.biz X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.32 Xref: g2news1.google.com comp.lang.ada:3723 Date: 2005-07-22T07:01:58+02:00 List-Id: Björn Persson 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.