From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: Current statu of ASIS for GNAT 2012, please ?
Date: Sat, 01 Oct 2011 18:34:22 +0200
Date: 2011-10-01T18:34:22+02:00 [thread overview]
Message-ID: <87wrcou0vl.fsf@ludovic-brenta.org> (raw)
In-Reply-To: 8739fcvgfx.fsf@ludovic-brenta.org
Ludovic Brenta <ludovic@ludovic-brenta.org> writes:
> "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
>> Le Sat, 01 Oct 2011 11:11:35 +0200, Ludovic Brenta
>> <ludovic@ludovic-brenta.org> a écrit:
>>> Again, why do you keep trying to find other, more difficult solutions to
>>> your problem?
>> I may have to give a summary of the history so far: as pointed in
>> this thread, every thing was fine, except for AUnit, which could be
>> compiled, but which gave me errors as soon as I wanted to build an
>> AUnit application. I did not want a more difficult solution, I just
>> wanted AUnit working.
>
> Ah, you said "just". This is the sure sign of a problem. No, you
> don't "just" want AUnit, you want GCC 4.6 plus ASIS 2010 plus SPARK
> plus AUnit working together. Good news: Debian unstable provides the
> first three today. Bad news: AUnit has not yet migrated to gnat-4.6
> in the same Debian unstable. Conclusion: the easiest solution to your
> problem is to install Debian unstable and recompile AUnit (an only
> AUnit) with gnat-4.6. You do not need to recompile GCC, ASIS or
> SPARK.
Actually, I'm wrong; this is not the easiest solution, only the second
easiest. The easiest solution is to wait a few days for a new
libaunit*-dev in Debian unstable.
--
Ludovic Brenta.
next prev parent reply other threads:[~2011-10-01 16:34 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 [this message]
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