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 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.134 with SMTP id g6mr52550802pbk.6.1317486862818;
        Sat, 01 Oct 2011 09:34:22 -0700 (PDT)
Path: 
 lh7ni9169pbb.0!nntp.google.com!news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!feedme.ziplink.net!news.swapon.de!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Current statu of ASIS for GNAT 2012, please ?
Date: Sat, 01 Oct 2011 18:34:22 +0200
Organization: A noiseless patient Spider
Message-ID: <87wrcou0vl.fsf@ludovic-brenta.org>
References: <op.v2ii7quvule2fv@index.ici> <op.v2ipfjmgule2fv@index.ici>
	<87sjngwoo6.fsf@ludovic-brenta.org> <op.v2jex7zkule2fv@index.ici>
	<87lit7x2xu.fsf@ludovic-brenta.org> <op.v2k14smzule2fv@index.ici>
	<4fade922-81df-4480-83b1-d8025075306b@dm9g2000vbb.googlegroups.com>
	<op.v2m6l6khule2fv@index.ici> <877h4puldk.fsf@ludovic-brenta.org>
	<op.v2ofbeaeule2fv@index.ici> <8739fcvgfx.fsf@ludovic-brenta.org>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="UzcMfilKsBu7cJ7QyeMUgw";
	logging-data="14064"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/3nvsqyYUG5uETVfvVBgWF"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux)
Cancel-Lock: sha1:Sw55wsBvt2EsZYrYNthh37A9274=
	sha1:81IeMhUQPe9+xwR9/6Pva3tP75Q=
Xref: news1.google.com comp.lang.ada:18265
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Date: 2011-10-01T18:34:22+02:00
List-Id: <comp.lang.ada>

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.