Merge branch 'WIP/21-helix-cert-conflict-with-divti3' into 'master'

Remove all gccmath functions from vxworks light runtimes See merge request eng/toolchain/bb-runtimes!94
AdaCore · Apr 25, 2024 · 1166aba · 1166aba
2 parents 0448e04 + ff74d34
commit 1166aba
Showing 1 changed file with 0 additions and 29 deletions.
diff --git a/support/rts_sources/sources.py b/support/rts_sources/sources.py
@@ -433,35 +433,6 @@
         "conditions": ["Add_Command_Line:yes"],
         "srcs": ["libgnat/a-comlin.ads", "libgnat/a-comlin.adb", "argv.c", "runtime.h"],
     },
-    "gccmath": {
-        "conditions": ["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": [