Add support for GNAT Pro 24.0

Ref. eng/recordflux/RecordFlux#1443

.gitlab-ci.yml

@@ -4,7 +4,7 @@ variables:
    CI_FRAGMENTS_GIT: https://gitlab-ci-token:${CI_JOB_TOKEN}@${CI_SERVER_HOST}:${CI_SERVER_PORT}/eng/it/ci-fragments
    RECORDFLUX_ORIGIN: https://gitlab-ci-token:${CI_JOB_TOKEN}@${CI_SERVER_HOST}:${CI_SERVER_PORT}/eng/recordflux
 
-   GNAT_VERSION: "23.2"
+   GNAT_VERSION: "24.0"
    GNAT_BUILD_DATE: "all"
    GNAT_PLATFORM: "x86_64-linux"
    SPARK_VERSION: "24.0"
@@ -221,6 +221,8 @@ gnat_pro_compatibility:
         CLEAN_RECORDFLUX_SETUP: 1
       - GNAT_VERSION: "23.2"
         CLEAN_RECORDFLUX_SETUP: 1
+      - GNAT_VERSION: "24.0"
+        CLEAN_RECORDFLUX_SETUP: 1
   script:
     - git fetch --unshallow
     - *update_timestamps_of_generated_code

CHANGELOG.md

@@ -10,6 +10,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Added
 
 - Support for SPARK Pro 24.0 (eng/recordflux/RecordFlux#1409)
+- Support for GNAT Pro 24.0 (eng/recordflux/RecordFlux#1443)
 
 ### Fixed
 

tests/tools/check_doc_test.py

@@ -120,7 +120,7 @@ def test_invalid_ada_api_style() -> None:
         CheckDocError,
         match=(
             r"^<stdin>:5: error in code block\n"
-            r"main.adb:2:25: \(style\) space required\n"
+            r"main.adb:2:25: \(style\) space required( \[-gnatyt\])?\n"
             r"(gprbuild: [*][*][*] compilation phase failed\n)?$"
         ),
     ):