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,432c3b9d4763b8fe
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Where to good the good ASIS version for my version of GNAT ?
Date: Sat, 06 Nov 2010 00:37:10 +0000
Organization: A noiseless patient Spider
Message-ID: <m2eiazz3rd.fsf@pushface.org>
References: <op.vlovreqgule2fv@garhos>
	<2381c925-4186-4bcd-b38d-1857c71d8b44@t35g2000yqj.googlegroups.com>
	<op.vlo3eia1ule2fv@garhos>
	<48810eb0-9f2c-4268-bd8b-78e48eb46c0f@32g2000yqz.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: mx03.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="21303"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1932vqVdmgR9ZoSUuXV5QFpFiLUbQw5/3I="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (darwin)
Cancel-Lock: sha1:Bj9WyZNdAoCRI+qMlnEnQZ68kdA=
	sha1:SqQDPm3H2bW6VC9xJO9CDl6bZ2M=
Xref: g2news1.google.com comp.lang.ada:15307
Date: 2010-11-06T00:37:10+00:00
List-Id: <comp.lang.ada>

Ludovic Brenta <ludovic@ludovic-brenta.org> writes:

> As for compiling any version of ASIS with FSF GCC, see the Debian
> Policy for Ada[1], it provides a couple of hints.  Also look at
> gnatvsn.ads in both GCC[2] and your source version of ASIS; they must
> be identical, in particular the result of GNAT_Version_String.
> Finally, the end of Stage 1 for GCC 4.5 was in September 2009, so the
> version of ASIS closest to it is GPL 2009, not 2010.  This is also in
> the Debian Policy for Ada.

Hmm.

In asis-2009-src/gnat/,

. replace sinfo.ad[bs] by gcc-4.5.0/gcc/ada/sinfo.ad[bs]

. replace gnatvsn.ads by gcc-4.5.0/gcc/ada/gnatvsn.ads

. edit gnatvsn.adb to remove the 'gnatpro' choices, not in the .ads

and build (in asis-2009-src/, "make all"). This ran at least one of the
examples in tutorial/using_asistant/black_box.scr.