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,FREEMAIL_FROM,
	WEIRD_PORT autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,75be2b2314dc7a03
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!usenet-fr.net!gegeweb.org!aioe.org!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: AUnit Examples Fail
Date: Sun, 15 Aug 2010 06:34:56 +0200
Organization: Ada At Home
Message-ID: <op.vhgpoixaule2fv@garhos>
References: <2010081422160335270-rblove@airmailnet>
NNTP-Posting-Host: vW41ugf3bPGxhjQJ6q2hXA.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
User-Agent: Opera Mail/10.61 (Win32)
Xref: g2news1.google.com comp.lang.ada:13319
Date: 2010-08-15T06:34:56+02:00
List-Id: <comp.lang.ada>

Le Sun, 15 Aug 2010 05:16:03 +0200, R.B. Love <rblove@airmail.net> a =C3=
=A9crit:
> math-test.adb:20:07: warning: call to obsolescent procedure "Assert"  =

> declared at  aunit-assertions.ads:113
> gprbuild: *** compilation phase failed
> make: *** [all] Error 4
This is a GNAT 2010 issue. Open the GPR files and change any =E2=80=9C-g=
natwe=E2=80=9D you  =

see into =E2=80=9C-gnatw=E2=80=9D and any =E2=80=9C-gnatw.Xe=E2=80=9D in=
to =E2=80=9C-gnatw.X=E2=80=9D.

Basically, the project files were configured so that all warnings are  =

treated as error. As you see, there are warnings during the build proces=
s.  =

As this warnings are treated as error, this ends up in a failed  =

compilation process.

Turning =E2=80=9C-gnatwe=E2=80=9D into =E2=80=9C-gnatw=E2=80=9D as an ex=
ample, you will turn off the  =

option =E2=80=9CTreat Warnings as Errors=E2=80=9D.

This should solve the trick.

Probably the example cases makes some reference to some source using  =

obsolescent feature and the source in the example cases were not updated=
.

-- =

There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.