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-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!f33g2000vbm.googlegroups.com!not-for-mail
From: sjw <simon.j.wright@mac.com>
Newsgroups: comp.lang.ada
Subject: =?ISO-8859-1?Q?Re=3A_AIDE_by_St=E9phane_Rivi=E8re?=
Date: Wed, 16 Sep 2009 12:35:44 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <c01545a6-6686-439e-a35a-790df2d99d0c@f33g2000vbm.googlegroups.com>
References: <a24a22eb-218c-45c8-bbd4-df41f09a6c39@2g2000prl.googlegroups.com>
	<e1b2b1af-69b1-41d6-a8dd-9de3ae2c3b71@t2g2000yqn.googlegroups.com>
	<9a08e60b-d2ac-47cf-99af-4a5e1b714a86@p9g2000vbl.googlegroups.com>
NNTP-Posting-Host: 82.30.110.254
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1253129744 28029 127.0.0.1 (16 Sep 2009 19:35:44
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 16 Sep 2009 19:35:44 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: f33g2000vbm.googlegroups.com; posting-host=82.30.110.254;
	posting-account=_RXWmAoAAADQS3ojtLFDmTNJCT0N2R4U
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_5_8; en-us)
	AppleWebKit/531.9 (KHTML,
 like Gecko) Version/4.0.3 Safari/531.9,gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:8352
Date: 2009-09-16T12:35:44-07:00
List-Id: <comp.lang.ada>

On Sep 15, 10:29=A0pm, Michael A <michael.m.ay...@gmail.com> wrote:

> I have downloaded from the web site you suggested, but not sure I got
> the files I needed. I don't see anything like a compiler application
> or development environment. I feel so dumb, but it is all rather
> criptic for me.

I just went over there.

At the bottom of the pale blue box, it says "If you have problems
downloading or installing GNAT GPL or SPARK GPL Edition contact us at
gnat-gpl@adacore.com". They are very helpful!

However .. I assume you're on Windows? .. below that there's some
text, then a selector box labelled 'Select your platform', currently
set to x86-linux. Change that to x86-windows; the page refreshes, and
now the text in the box just underneath the selector reads

"This version of the GNAT GPL Edition is suitable for PC/x86 machines
running
Windows XP (Service Pack 2) and Windows Vista.

GNAT GPL 2009 contains the following:

- checksums.md5
    Contains the list of MD5 checksums for all the files in this
distribution.

- gnat-gpl-2009-43-i686-pc-mingw32-bin.exe

    This package contains the GPL Edition of GNAT, the Ada 2005 tool
chain
    maintained by AdaCore, and includes GPS, a fully integrated IDE.
It also
    includes full html documentation for both tools.

    In order to install this package, double-click on it, and follow
the
    instructions displayed on the screen. Note that you need Power
User
    privileges in order to install this package. ....."

Go down a bit further, there's an open folder icon with 4 files inside
it - click on the third (gnat-gpl-2009-43-i686-pc-mingw32-bin.exe) to
download all 103 Mb of it, then follow the instructions above.

I can't do that now, cos I'm on a Mac, but as I remember you'll end up
with a program group called GNAT<something>; go there and select
GPS ... happy hunting!