comp.lang.ada
 help / color / mirror / Atom feed
* ASIS "housekeeping"
@ 2015-12-14 20:11 olivier.henley
  2015-12-14 21:31 ` olivier.henley
                   ` (2 more replies)
  0 siblings, 3 replies; 6+ messages in thread
From: olivier.henley @ 2015-12-14 20:11 UTC (permalink / 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.


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2015-12-15 20:15 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-12-14 20:11 ASIS "housekeeping" olivier.henley
2015-12-14 21:31 ` 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

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox