Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 133140

Summary: dev-lang/gnat-gpl Ada compilers: enabling ACATS tests
Product: Gentoo Linux Reporter: fabio de francesco <fmdf66>
Component: Current packagesAssignee: Gentoo Linux ADA team <ada>
Status: CONFIRMED ---    
Severity: enhancement CC: esigra, jon, jstein, neb.semqen.ramesses
Priority: High    
Version: 2005.1   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Bug Depends on: 185001    
Bug Blocks: 137268    

Description fabio de francesco 2006-05-12 11:47:37 UTC
This is just a reminder.

ACATS tests ("make check" target) yet need to be enabled in the installing procedure of the dev-lang/gnat* compilers if FEATURE="maketest" has been selected in /etc/make.conf.

Thanks.

fabio

PS.: What to do with the "contrib/test_summary" shell script?
Comment 1 George Shapovalov (RETIRED) gentoo-dev 2007-02-05 14:50:58 UTC
Hi Fabio.

/bin/sh: line 0: cd: /var/tmp/portage/dev-lang/gnat-gpl-3.4.6.2006-r1/work/gcc-3.4.6/gcc/testsuite/ada/acats: No such file or directory
/bin/sh: line 1: /var/tmp/portage/dev-lang/gnat-gpl-3.4.6.2006-r1/work/build/gcc/run_acats: No such file or directory


aldar work # find ${WOKRDIR} -iname "*acats*"
./build/gcc/testsuite/ada/acats  -- an empty dir

Does not look like the tests are included in the standard distribution. Should they be downloaded as an addon from somewhere?

George
Comment 2 fabio de francesco 2007-02-14 21:43:24 UTC
(In reply to comment #1)

Hi George,

Sorry for my late reacting. I have been pretty busy and involved in a large project since a half year. This actually prevented and still prevents me to be of any help to you about these Gentoo's Ada issues. Anyway today I have found way to deepen into this subject.

At http://gcc.gnu.org/install/test.html you may read that "test suites are part of the full distribution, but if you downloaded the “core” compiler plus any front ends, you must download the testsuites separately". (I suppose you usually build GNAT packages by merging the "Ada frontend" to the "core" compiler).

From any GNU Mirror Site (http://gcc.gnu.org/mirrors.html) you may download a package named "gcc-testsuite-<release>.tar.bz2" (that is located in the same release directories where both "core" and "frontends" compilers are). Then extract it in the same directory where you extracted the "core" and "Ada frontend". After extraction of the three packages you will have everything in a directory named gcc-<release>.

Afterwards you may follow the simple instructions from http://gcc.gnu.org/install/, particularly from install/test.html.

Anyway, in order to run Ada tests (ACATS), it is only needed to launch the following from the "objdir" directory: "make -k check" (You may also try "make -k check-gnat"). "objdir" is the directory where you should configure and compile. This directory must be different from the one where sources had previously extracted, please see the configuration page. The -k flag means "go on testing even if errors found". 

The final report must not show any error (that is a completely different result from running tests on C/C++ GCC frontends).

fabio
Comment 3 George Shapovalov (RETIRED) gentoo-dev 2007-12-10 10:25:03 UTC
Changed dependency - this bug should really block the tracker bug #137268 that took over tracking role from #111340.

George