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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Bob Duff <bobduff@theworld.com>
Newsgroups: comp.lang.ada
Subject: Re: ASIS "housekeeping"
Date: Mon, 14 Dec 2015 18:42:50 -0500
Organization: A noiseless patient Spider
Message-ID: <87a8pcmwat.fsf@theworld.com>
References: <2dc86fbf-a0c0-4f53-8d9a-e234de99db79@googlegroups.com>
	<0cb904e5-82d7-44b2-a9ae-d80900224ca3@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="260c099dbe7c3f7b53ff54b85cd82842";
	logging-data="27576"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19TCjYIfTSTCJ1TrgMSmgkd"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:1dAKqj9raYl4M5R9ln/mLrFIdUM=
	sha1:3ukg0KTKlQZ3vQBk5CrDNFDRrXk=
Xref: news.eternal-september.org comp.lang.ada:28808
Date: 2015-12-14T18:42:50-05:00
List-Id: <comp.lang.ada>

olivier.henley@gmail.com writes:

> Ok found how.
>
> 1. Install GNAT GPL 2015. http://libre.adacore.com/download/configurations#
> 2. Also, download the asis-gpl-2015-src.tar.gz file under GNAT Ada GPL 2015 -> Sources.
> 3. Un-archive the file. Follow the top-level readme. Works.

Glad to hear it.

As to your previous question:

> p.s.1: At AdaCore website, ASIS readme file says: ASIS tools come
> pre-installed as part of the GNAT GPL distribution.

The "ASIS tools" it's talking about are tools like gnatpp, gnatcheck,
gnat2xml, etc., which are based on ASIS.  These tools are indeed part of
the GNAT distribution.  ASIS itself is separate, and that's what you
need if you want to write your own ASIS tools.

- Bob