From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Current statu of ASIS for GNAT 2012, please ?
Date: Sun, 02 Oct 2011 20:58:38 +0200
Date: 2011-10-02T20:58:38+02:00 [thread overview]
Message-ID: <op.v2qmz0zqule2fv@index.ici> (raw)
In-Reply-To: 8739fcvgfx.fsf@ludovic-brenta.org
Le Sat, 01 Oct 2011 18:12:50 +0200, Ludovic Brenta
<ludovic@ludovic-brenta.org> a écrit:
> you want GCC 4.6 plus ASIS 2010 plus SPARK plus AUnit
> working together.
SPARK is a rather independent piece, except from the last GPRBuild point
of view, which seems to have support for SPARK (which?), but this support
for SPARK is dropped from a GPRBuild to be used with FSF GCC any way.
--
“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-10-02 18:58 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)
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) [this message]
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