]> git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/doc/gccint/testsuites/ada-language-testsuites.rst
sphinx: add missing trailing newline
[thirdparty/gcc.git] / gcc / doc / gccint / testsuites / ada-language-testsuites.rst
1 ..
2 Copyright 1988-2022 Free Software Foundation, Inc.
3 This is part of the GCC manual.
4 For copying conditions, see the copyright.rst file.
5
6 .. _ada-tests:
7
8 Ada Language Testsuites
9 ***********************
10
11 The Ada testsuite includes executable tests from the ACATS
12 testsuite, publicly available at
13 http://www.ada-auth.org/acats.html.
14
15 These tests are integrated in the GCC testsuite in the
16 :samp:`ada/acats` directory, and
17 enabled automatically when running ``make check``, assuming
18 the Ada language has been enabled when configuring GCC.
19
20 You can also run the Ada testsuite independently, using
21 ``make check-ada``, or run a subset of the tests by specifying which
22 chapter to run, e.g.:
23
24 .. code-block:: c++
25
26 $ make check-ada CHAPTERS="c3 c9"
27
28 The tests are organized by directory, each directory corresponding to
29 a chapter of the Ada Reference Manual. So for example, :samp:`c9` corresponds
30 to chapter 9, which deals with tasking features of the language.
31
32 The tests are run using two :command:`sh` scripts: :samp:`run_acats` and
33 :samp:`run_all.sh`. To run the tests using a simulator or a cross
34 target, see the small
35 customization section at the top of :samp:`run_all.sh`.
36
37 These tests are run using the build tree: they can be run without doing
38 a ``make install``.