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 X-Received: by 10.107.3.155 with SMTP id e27mr8351990ioi.22.1513916138199; Thu, 21 Dec 2017 20:15:38 -0800 (PST) X-Received: by 10.157.90.22 with SMTP id v22mr381784oth.12.1513916137786; Thu, 21 Dec 2017 20:15:37 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.unit0.net!peer01.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!i6no1339003itb.0!news-out.google.com!b73ni4264ita.0!nntp.google.com!g80no1345032itg.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 21 Dec 2017 20:15:37 -0800 (PST) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=49.206.116.8; posting-account=NQAzbQoAAAAvGnWYlYt2fXidsCNvm7UM NNTP-Posting-Host: 49.206.116.8 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: ASIS for gnat GPL 2017 From: s@srin.me Injection-Date: Fri, 22 Dec 2017 04:15:38 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Body-CRC: 1573661002 X-Received-Bytes: 1350 Xref: reader02.eternal-september.org comp.lang.ada:49580 Date: 2017-12-21T20:15:37-08:00 List-Id: My gnat 2017 installs on macos does not appear to include ASIS. Nor have i been able to download from the adacore site. I am hoping to find a solution that is usable in macos and linux. pointers appreciated. thanks, srini