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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,b2b519fb2d20e8d1 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Received: by 10.68.38.38 with SMTP id d6mr29380911pbk.4.1317244895559; Wed, 28 Sep 2011 14:21:35 -0700 (PDT) Path: lh7ni7007pbb.0!nntp.google.com!news1.google.com!news3.google.com!feeder.news-service.com!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: Current statu of ASIS for GNAT 2012, please ? Date: Wed, 28 Sep 2011 23:21:33 +0200 Organization: Ada @ Home Message-ID: References: <87sjngwoo6.fsf@ludovic-brenta.org> NNTP-Posting-Host: ASvLW9FqEpkjx+7K3IhuFA.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/11.51 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Xref: news1.google.com comp.lang.ada:18188 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable Date: 2011-09-28T23:21:33+02:00 List-Id: Le Wed, 28 Sep 2011 19:40:41 +0200, Ludovic Brenta = a =C3=A9crit: > Note: I cannot speak for Ubuntu. If a Debian package is not in Ubuntu= , > upgrade to Debian. Ludovic, I finally did what I should have tried first: simply use the AS= IS = source from http://libre.adacore.com/libre/download/ (shame on me) It compiled fine with this freshly compiled GCC+GNAT-4.6 Note: I faced again a trouble previously encountered on Windows, while = compiling AUnit. The Make process complains no compiler is specified (li= ke = some months ago on Windows), and blah=E2=80=91blah=E2=80=91blah. Could f= igure the trouble = now: it invokes GPRBuild, and there was no GPRBuild with the compiled = GNAT-4.6, I mean none in /usr/local/bin, so it invokes instead, the one = in = /usr/bin, which is obviously irrelevant. But I don't bother too much, as= = Ada 2012 + ASIS (+ optionally SPARK) is the most important to my eyes. That's OK for ASIS, will have a look at the docs to know what changed, a= nd = if extensions of Ada 2012 are accessible via this ASIS interface. Standard or not so far ? May be Jean-Pierre could tell more :) Note: may be an error with some file names, as some names seems to refer= = to Ada 2015 (seems some files names were not updated since some ancient = = times). See you an undetermined future next time :) Have a nice time all=E2=80=A6= -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [Ep= igrams on = Programming =E2=80=94 Alan J. =E2=80=94 P. Yale University] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [Idem] Java: Write once, Never revisit