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!news4.google.com!feeder.news-service.com!weretis.net!feeder4.news.weretis.net!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: Mon, 08 Nov 2010 17:51:55 +0000
Organization: A noiseless patient Spider
Message-ID: <m2zktjwvno.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>
	<m2eiazz3rd.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: mx02.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="27513"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+KdwbgUvgIAsTHzi9SBhMEXs8ktf1n4GI="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (darwin)
Cancel-Lock: sha1:DOW2jNp3dcBFARvixUsXlOKjLCw=
	sha1:pvQQ9ksdxAbJ6aHQaKsAu1FVU8w=
Xref: g2news1.google.com comp.lang.ada:15385
Date: 2010-11-08T17:51:55+00:00
List-Id: <comp.lang.ada>

Simon Wright <simon@pushface.org> writes:

> 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.

That should have been

In asis-2009-src/gnat/,

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

. replace snames.*-tmpl by gcc-4.5.0/gcc/ada/snames.*-tmpl

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

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

Note that I didn't actually try this with 2009, since it works just fine
with 2010! and, on my test (use asis2xml to process gnat-math-extn/src),
GNAT GPL 2010 and GCC 4.5.0+ASIS GPL 2010 generated identical output.