From: olivier.henley@gmail.com
Subject: ASIS "housekeeping"
Date: Mon, 14 Dec 2015 12:11:56 -0800 (PST)
Date: 2015-12-14T12:11:56-08:00 [thread overview]
Message-ID: <2dc86fbf-a0c0-4f53-8d9a-e234de99db79@googlegroups.com> (raw)
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.
next reply other threads:[~2015-12-14 20:11 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-12-14 20:11 olivier.henley [this message]
2015-12-14 21:31 ` ASIS "housekeeping" olivier.henley
2015-12-14 23:42 ` Bob Duff
2015-12-15 7:42 ` J-P. Rosen
2015-12-15 20:15 ` Pascal Obry
2015-12-15 17:26 ` olivier.henley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox