Merge branch 'topic/270-tgen-rts-dev' into 'master'

Add new testsuite option to build & install TGen_RTS Closes #218 See merge request eng/ide/libadalang-tools!273
AdaCore · Dec 6, 2024 · a39a73b · a39a73b
2 parents 476a6ba + 588e605
commit a39a73b
Show file tree

Hide file tree

Showing 71 changed files with 115 additions and 119 deletions.
diff --git a/testsuite/drivers/gnattest.py b/testsuite/drivers/gnattest.py
diff --git a/testsuite/tests/test/135_tgen_wrapper_conflict/test.yaml b/testsuite/tests/test/135_tgen_wrapper_conflict/test.yaml
@@ -2,6 +2,6 @@ description: Test that TGen generates precondition wrappers that can be
   compiled when a parameter of the tested subprogram has the same name as
   the package in which it is defined.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/136_tgen_generics/test.yaml b/testsuite/tests/test/136_tgen_generics/test.yaml
@@ -2,6 +2,6 @@ description:
     Test that TGen generates valid code when including a subprogram that is
     in a generic nested instantiation.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/146-gen_full_glob/test.yaml b/testsuite/tests/test/146-gen_full_glob/test.yaml
@@ -2,6 +2,6 @@ description:
     Test support of global variables in TGen, for subprograms with no
     parameters.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/147-clean_tgen_dir/test.yaml b/testsuite/tests/test/147-clean_tgen_dir/test.yaml
@@ -2,6 +2,6 @@ description:
     Test that the TGen support library is always generated from a clean
     directory, removing stale sources.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/151_arr_limit/test.yaml b/testsuite/tests/test/151_arr_limit/test.yaml
@@ -3,6 +3,6 @@ description:
     that the limit set through the TGEN_ARRAY_LIMIT environment variable
     does raise an exception.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/153-floating-point-tgen/test.yaml b/testsuite/tests/test/153-floating-point-tgen/test.yaml
@@ -3,6 +3,6 @@ description:
     point values in the range of a floating point type with a range
     constraint.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/154-tgen-array-bounds/test.yaml b/testsuite/tests/test/154-tgen-array-bounds/test.yaml
@@ -3,6 +3,6 @@ description:
     generates values for array types that have a constrained subtype as
     an index type. It used to crash when trying to generate values.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/157_ops/test.yaml b/testsuite/tests/test/157_ops/test.yaml
@@ -1,7 +1,7 @@
 description: Check that the support library and gnattest harness are legal for
   custom operators.
 
-driver: gnattest_driver
+driver: shell_script
 
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/157_std_shadowing/test.yaml b/testsuite/tests/test/157_std_shadowing/test.yaml
@@ -1,7 +1,7 @@
 description: Check that the support library and gnattest harness are legal when
   a user project package is named "standard".
 
-driver: gnattest_driver
+driver: shell_script
 
 control:
     - [XFAIL, 'True', 'LAL and nameres on a custom standard package, see eng/libadalang/libadalang#1453']

diff --git a/testsuite/tests/test/157_test_subp/test.yaml b/testsuite/tests/test/157_test_subp/test.yaml
@@ -2,7 +2,7 @@ description: Check that the support library and gnattest harness are legal when
   either the subprogram under test is called "test" or the unit in which it is
   defined is called test.
 
-driver: gnattest_driver
+driver: shell_script
 
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/177_protected_gen/test.yaml b/testsuite/tests/test/177_protected_gen/test.yaml
@@ -2,6 +2,6 @@ description: Check that the test generation part of gnattest does not
   attempt to generate values for protected subprograms and entries,
   as this is not supported by the harness generation part of gnattest.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/177_tasking/test.yaml b/testsuite/tests/test/177_tasking/test.yaml
@@ -2,6 +2,6 @@ description: Check that the test generation part of gnattest does not
   attempt to generate values for task entries, as this is not supported
   by the harness generation part of gnattest.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/183-formal_params/test.yaml b/testsuite/tests/test/183-formal_params/test.yaml
@@ -1,7 +1,7 @@
 description: Test that gnattest does not attempt to generate test inputs for
   subprograms with generic formal parameters or return types.
 
-driver: gnattest_driver
+driver: shell_script
 
 canonicalize_backslashes: True
 

diff --git a/testsuite/tests/test/184-generic-lib-item/test.yaml b/testsuite/tests/test/184-generic-lib-item/test.yaml
@@ -2,6 +2,6 @@ description:
     Check that TGen properly rejects types declared in generic instantiations
     that are library items.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/185_tgen_wrapper_paren_expr/test.yaml b/testsuite/tests/test/185_tgen_wrapper_paren_expr/test.yaml
@@ -2,6 +2,6 @@ description: Test that the precondition wrappers generated by TGen incorporate
   the full expression, including the parenthesis when it is required, such as in
   quantified expressions or if-expressions.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/193-anonymous-type/test.yaml b/testsuite/tests/test/193-anonymous-type/test.yaml
@@ -3,6 +3,6 @@ description:
     with an anonymous type parameter. It used to call P_Fully_Qualified_Name on
     it, which resulted in a crash.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/194_const_array_limit/test.yaml b/testsuite/tests/test/194_const_array_limit/test.yaml
@@ -4,7 +4,7 @@ description:
   We do this by attempting to generate tests with gnattest for a big array type,
   and checking the emitted warnings.
 
-driver: gnattest_driver
+driver: shell_script
 
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/195-repeated-pragmas/test.yaml b/testsuite/tests/test/195-repeated-pragmas/test.yaml
@@ -1,4 +1,4 @@
 description:
   gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/203-generic-packages-architecture/test.yaml b/testsuite/tests/test/203-generic-packages-architecture/test.yaml
@@ -1,4 +1,4 @@
 description: |
   Run TGen test case generator with a complex generic packages architecture.
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/208-gpr-warnings/test.yaml b/testsuite/tests/test/208-gpr-warnings/test.yaml
@@ -3,4 +3,4 @@ description:
   loading the project file. Instead, only output those warnings and still
   proceed with the rest of the tool.
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/208-stub_extension/test.yaml b/testsuite/tests/test/208-stub_extension/test.yaml
@@ -3,4 +3,4 @@ description:
   for a project tree in which an extending project is present. This used to
   crash due to a mis-management of the project table.
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/212-default-encoding/test.yaml b/testsuite/tests/test/212-default-encoding/test.yaml
@@ -10,4 +10,4 @@ description:
   characters from being recognized. This is materialized in zdep.*, which
   contain a 'é' character, encoded in latin-1.
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/32-basic_enum/test.yaml b/testsuite/tests/test/32-basic_enum/test.yaml
@@ -2,6 +2,6 @@ description:
     Test basic enumerated generation for scalar types as well as non
     discriminated record types.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/36-stub_dangling_setters/test.yaml b/testsuite/tests/test/36-stub_dangling_setters/test.yaml
@@ -3,4 +3,4 @@ description:
   issues. They used to not be commented out, which could result in lingering
   references to types or objects no longer present in the codebase.
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/37-stub-ada-version/test.yaml b/testsuite/tests/test/37-stub-ada-version/test.yaml
@@ -3,4 +3,4 @@ description:
   This used not to be the case because gnattest added a pragma Ada_2005 in
   some of the stub data units.
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/37-stub-anon-subp-acc/test.yaml b/testsuite/tests/test/37-stub-anon-subp-acc/test.yaml
@@ -3,4 +3,4 @@ description:
   This used not to be the case because gnattest added a pragma Ada_2005 in
   some of the stub data units.
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/98-long-json/test.yaml b/testsuite/tests/test/98-long-json/test.yaml
@@ -4,6 +4,6 @@ description:
     longer than 32766 characters, which is the maximum allowed length in
     gprbuild.
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']
diff --git a/testsuite/tests/test/T206-015/test.yaml b/testsuite/tests/test/T206-015/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/T213-041/test.yaml b/testsuite/tests/test/T213-041/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/T217-072/test.yaml b/testsuite/tests/test/T217-072/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/T629-003/test.yaml b/testsuite/tests/test/T629-003/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/T715-010/test.yaml b/testsuite/tests/test/T715-010/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/TA07-010/test.yaml b/testsuite/tests/test/TA07-010/test.yaml
@@ -1,6 +1,6 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [SKIP, 'windows', 'No symbolic links on Windows']
diff --git a/testsuite/tests/test/TA19-048/test.yaml b/testsuite/tests/test/TA19-048/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/TA19-051/test.yaml b/testsuite/tests/test/TA19-051/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/TB16-055/test.yaml b/testsuite/tests/test/TB16-055/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/UA15-049/test.yaml b/testsuite/tests/test/UA15-049/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/UA15-080/test.yaml b/testsuite/tests/test/UA15-080/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/UB09-001/test.yaml b/testsuite/tests/test/UB09-001/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/V406-023/test.yaml b/testsuite/tests/test/V406-023/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/VA31-011/test.yaml b/testsuite/tests/test/VA31-011/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/VB28-016/test.yaml b/testsuite/tests/test/VB28-016/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/dump_test_inputs/test.yaml b/testsuite/tests/test/dump_test_inputs/test.yaml
@@ -1,5 +1,5 @@
 description:
     Test checking test input dumping
 
-driver: gnattest_driver
+driver: shell_script
 
diff --git a/testsuite/tests/test/error_recovery/test.yaml b/testsuite/tests/test/error_recovery/test.yaml
@@ -1,5 +1,5 @@
 description:
     Test error recovery
 
-driver: gnattest_driver
+driver: shell_script
 
diff --git a/testsuite/tests/test/filtering_same_fisrt_digit_sloc/test.yaml b/testsuite/tests/test/filtering_same_fisrt_digit_sloc/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/instrument_bodies/test.yaml b/testsuite/tests/test/instrument_bodies/test.yaml
@@ -2,5 +2,5 @@ description:
     Check instrumentation of subprograms declared in spec and having
     renaming, expression function and a null body in the package body.
 
-driver: gnattest_driver
+driver: shell_script
 
diff --git a/testsuite/tests/test/instrument_expr_func/test.yaml b/testsuite/tests/test/instrument_expr_func/test.yaml
@@ -3,5 +3,5 @@ description:
     of artificial package bodies for containing instrumented
     bodies if necessary, including library level package body.
 
-driver: gnattest_driver
+driver: shell_script
 
diff --git a/testsuite/tests/test/latin_1_char/test.yaml b/testsuite/tests/test/latin_1_char/test.yaml
@@ -1,4 +1,4 @@
 description:
     gnattest test
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/limited_access_stub/test.yaml b/testsuite/tests/test/limited_access_stub/test.yaml
@@ -1,4 +1,4 @@
 description: Check that gnattest does not consider in-mode access types
   as parameters for which stub setters must be generated.
 
-driver: gnattest_driver
+driver: shell_script
diff --git a/testsuite/tests/test/marshalling_full_private/test.yaml b/testsuite/tests/test/marshalling_full_private/test.yaml
@@ -3,6 +3,6 @@ description:
     with no visible part (i.e. only declared in the private part of the
     package).
 
-driver: gnattest_driver
+driver: shell_script
 control:
     - [XFAIL, 'x86', 'Marshalling not working for 32bits (UB03-008)']