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=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.182.20.242 with SMTP id q18mr12192671obe.2.1450123916282;
        Mon, 14 Dec 2015 12:11:56 -0800 (PST)
X-Received: by 10.182.125.195 with SMTP id ms3mr177161obb.17.1450123916259;
 Mon, 14 Dec 2015 12:11:56 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!2.eu.feeder.erje.net!feeder.erje.net!2.us.feeder.erje.net!enother.net!enother.net!news.glorb.com!mv3no12308114igc.0!news-out.google.com!l1ni3298igd.0!nntp.google.com!mv3no12308109igc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 14 Dec 2015 12:11:56 -0800 (PST)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=216.98.56.20;
 posting-account=MRPdDAoAAADUJmZVjnYaoafXFMadSeY1
NNTP-Posting-Host: 216.98.56.20
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2dc86fbf-a0c0-4f53-8d9a-e234de99db79@googlegroups.com>
Subject: ASIS "housekeeping"
From: olivier.henley@gmail.com
Injection-Date: Mon, 14 Dec 2015 20:11:56 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:28806
Date: 2015-12-14T12:11:56-08:00
List-Id: <comp.lang.ada>

Hi.

I want to work with ASIS and can't figure how/where to start.

1. Is it possible to build an ASIS application using the Adacore GPL GNAT 2015 on windows?
2. Where do I find an example/tutorial and proper indications on how to make it work.
3. Anything I should know to get on the right track? Please be more verbose/specific than less, because right now the state of affairs concerning ASIS looks anemic if not plain misleading to me.

Thx,

olivier

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

-Found nothing in the distribution that matches the keyword ASIS/asis.

p.s.2: At http://docs.adacore.com/asis-docs/asis_ug_8.html#SEC45: The subdirectory `tutorial' of the ASIS distribution contains a simple hands-on ASIS tutorial which may be useful in getting a quick start with ASIS

-Found nothing of the sort.