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
next prev parent 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