Re: AUnit Examples Fail

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Sun, 15 Aug 2010 05:16:03 +0200, R.B. Love <rblove@airmail.net> a écrit:
> 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 “-gnatwe” you  
see into “-gnatw” and any “-gnatw.Xe” into “-gnatw.X”.

Basically, the project files were configured so that all warnings are  
treated as error. As you see, there are warnings during the build process.  
As this warnings are treated as error, this ends up in a failed  
compilation process.

Turning “-gnatwe” into “-gnatw” as an example, you will turn off the  
option “Treat Warnings as Errors”.

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.