OSDN Git Service

PR ada/5909:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 27 Oct 2003 14:51:26 +0000 (14:51 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 27 Oct 2003 14:51:26 +0000 (14:51 +0000)
* doc/sourcebuild.texi: Document Ada test suite.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@72984 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/doc/sourcebuild.texi

index 4353ee7..25ec2ab 100644 (file)
@@ -1,3 +1,8 @@
+2003-10-27  Arnaud Charlet  <charlet@act-europe.fr>
+
+       PR ada/5909:
+       * doc/sourcebuild.texi: Document Ada test suite.
+
 2003-10-27  Stephane Carrez  <stcarrez@nerim.fr>
 
        * config/m68hc11/m68hc11.c: Convert to ISO C90.
index c29a64e..dda934b 100644 (file)
@@ -778,6 +778,7 @@ here; FIXME: document the others.
 
 @menu
 * Test Idioms::     Idioms used in test suite code.
+* Ada Tests::       The Ada language test suites.
 * C Tests::         The C language test suites.
 * libgcj Tests::    The Java library test suites.
 * gcov Testing::    Support for testing gcov.
@@ -860,6 +861,39 @@ unfortunately, the mechanisms for this differ by directory.
 
 FIXME: discuss non-C test suites here.
 
+@node Ada Tests
+@subsection Ada Language Test Suites
+
+The Ada test suite includes executable tests from the ACATS 2.5 test
+suite, publicly available at @uref{http://www.adaic.org/compilers/acats/2.5}
+
+These tests are integrated in the GCC test suite in the
+@file{gcc/testsuite/ada/acats} directory, and
+enabled automatically when running @code{make check}, assuming
+the Ada language has been enabled when configuring GCC.
+
+You can also run the Ada test suite independently, using
+@code{make check-ada}, or run a subset of the tests by specifying which
+chapter to run, e.g:
+
+@smallexample
+$ make check-ada CHAPTERS="c3 c9"
+@end smallexample
+
+The tests are organized by directory, each directory corresponding to
+a chapter of the Ada Reference Manual. So for example, c9 corresponds
+to chapter 9, which deals with tasking features of the language.
+
+There is also an extra chapter called @file{gcc} containing a template for
+creating new executable tests.
+
+The tests are run using two 'sh' scripts: run_acats and run_all.sh
+To run the tests using a simulator or a cross target, see the small
+customization section at the top of run_all.sh
+
+These tests are run using the build tree: they can be run without doing
+a @code{make install}.
+
 @node C Tests
 @subsection C Language Test Suites