From: olivier.henley@gmail.com
Subject: Re: ASIS "housekeeping"
Date: Mon, 14 Dec 2015 13:31:30 -0800 (PST)
Date: 2015-12-14T13:31:30-08:00 [thread overview]
Message-ID: <0cb904e5-82d7-44b2-a9ae-d80900224ca3@googlegroups.com> (raw)
In-Reply-To: <2dc86fbf-a0c0-4f53-8d9a-e234de99db79@googlegroups.com>
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.
next prev parent reply other threads:[~2015-12-14 21:31 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-12-14 20:11 ASIS "housekeeping" olivier.henley
2015-12-14 21:31 ` olivier.henley [this message]
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