Merge branch 'mr/guitton/21-eng-toolchain-acats-gccmath-vx7r2cert' in…

…to 'master' Restore gccmaths on vx7r2cert except on x86_64 See merge request eng/toolchain/bb-runtimes!124
AdaCore · Aug 16, 2024 · eb596e0 · eb596e0
2 parents 2fcd65c + 6ccf0cc
commit eb596e0
Showing 1 changed file with 36 additions and 0 deletions.
diff --git a/support/rts_sources/sources.py b/support/rts_sources/sources.py
@@ -446,6 +446,42 @@
         "conditions": ["Add_Command_Line:yes"],
         "srcs": ["libgnat/a-comlin.ads", "libgnat/a-comlin.adb", "argv.c", "runtime.h"],
     },
+    "gccmath": {
+        # gcc maths intrinsics are provided on no supported configuration
+        # of vx7r2cert (neither safety profile nor helix-cert)
+        # *except* x86_64 helix-cert.
+        "conditions": [
+            "CPU_Family:arm,aarch64,ppc,ppc64,x86",
+            "RTS_Profile:light,light-tasking",
+            "Target_Word_Size:64",
+        ],
+        "srcs": [],
+        "vx7r2cert_srcs": [
+            "hie/s-gcc.ads",
+            "hie/s-gcc-ti.ads",
+            "hie/s-gcc-ti.adb",
+            "hie/s-gtasl3.ads",
+            "hie/s-gtasl3.adb",
+            "hie/s-gtasr3.ads",
+            "hie/s-gtasr3.adb",
+            "hie/s-gtlsr3.ads",
+            "hie/s-gtlsr3.adb",
+            "hie/s-gtimo3.ads",
+            "hie/s-gtimo3.adb",
+            "hie/s-gtium3.ads",
+            "hie/s-gtium3.adb",
+            "hie/s-gcdimo.ads",
+            "hie/s-gcdimo.adb",
+            "hie/s-gudmo4.ads",
+            "hie/s-gudmo4.adb",
+            "hie/s-gtdmo3.ads",
+            "hie/s-gtiud3.ads",
+            "hie/s-gtiud3.adb",
+            "hie/s-gtidi3.ads",
+            "hie/s-gtidi3.adb",
+            "hie/s-gtumo4.ads",
+        ],
+    },
     "full": {
         "conditions": ["RTS_Profile:embedded"],
         "srcs": [