comp.lang.ada
 help / color / mirror / Atom feed
From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Current statu of ASIS for GNAT 2012, please ?
Date: Wed, 28 Sep 2011 23:21:33 +0200
Date: 2011-09-28T23:21:33+02:00	[thread overview]
Message-ID: <op.v2jex7zkule2fv@index.ici> (raw)
In-Reply-To: 87sjngwoo6.fsf@ludovic-brenta.org

Le Wed, 28 Sep 2011 19:40:41 +0200, Ludovic Brenta  
<ludovic@ludovic-brenta.org> a écrit:
> 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 ASIS  
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 (like  
some months ago on Windows), and blah‑blah‑blah. Could figure 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, and  
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…


-- 
“Syntactic sugar causes cancer of the semi-colons.”  [Epigrams on  
Programming — Alan J. — P. Yale University]
“Structured Programming supports the law of the excluded muddle.” [Idem]
Java: Write once, Never revisit



  reply	other threads:[~2011-09-28 21:21 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-09-28  9:56 Current statu of ASIS for GNAT 2012, please ? Yannick Duchêne (Hibou57)
2011-09-28 12:10 ` Yannick Duchêne (Hibou57)
2011-09-28 17:40   ` Ludovic Brenta
2011-09-28 21:21     ` Yannick Duchêne (Hibou57) [this message]
2011-09-29  6:44       ` Ludovic Brenta
2011-09-29 18:39         ` Yannick Duchêne (Hibou57)
2011-09-30 13:23           ` Ludovic Brenta
2011-09-30 22:11             ` Yannick Duchêne (Hibou57)
2011-10-01  9:11               ` Ludovic Brenta
2011-10-01 14:17                 ` Yannick Duchêne (Hibou57)
2011-10-01 16:12                   ` Ludovic Brenta
2011-10-01 16:34                     ` Ludovic Brenta
2011-10-02 18:41                     ` Yannick Duchêne (Hibou57)
2011-10-03  7:07                       ` Ludovic Brenta
2011-10-02 18:58                     ` Yannick Duchêne (Hibou57)
2011-10-02 10:29                   ` Georg Bauhaus
2011-10-02 16:38                     ` Ludovic Brenta
2011-10-02 17:44                       ` Georg Bauhaus
2011-10-02 18:28                         ` Ludovic Brenta
2011-09-29 12:57       ` Stephen Leake
2011-09-29 18:46         ` Yannick Duchêne (Hibou57)
2011-09-30 10:10           ` Stephen Leake
2011-09-30 13:29           ` Ludovic Brenta
2011-09-29 21:54       ` Simon Wright
2011-09-30  6:11         ` Ludovic Brenta
2011-10-01  6:39           ` Simon Wright
2011-10-01  9:01             ` Ludovic Brenta
2011-10-15 13:50             ` Simon Wright
2011-10-15 14:05               ` Ludovic Brenta
2011-10-15 14:36                 ` Simon Wright
2011-10-15  2:21 ` Lucretia
replies disabled

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