[tools][cmake] fix processing groups with similar name (#9667)

1 files changed, 15 insertions, 1 deletions

diff --git a/tools/cmake.py b/tools/cmake.py
index c0bb87160f..fb894d1ed3 100644
--- a/tools/cmake.py
+++ b/tools/cmake.py
@@ -9,7 +9,7 @@ import re
 import utils
 import rtconfig
 from utils import _make_path_relative
-from collections import defaultdict
+from collections import defaultdict, Counter
 
 
 def GenerateCFiles(env, project, project_name):
@@ -184,6 +184,20 @@ def GenerateCFiles(env, project, project_name):
             else:
                 libgroups.append(group)
 
+        # Process groups whose names differ only in capitalization.
+        # (Groups have same name should be merged into one before)
+        for group in libgroups:
+            group['alias'] = group['name'].lower()
+        names = [group['alias'] for group in libgroups]
+        counter = Counter(names)
+        names = [name for name in names if counter[name] > 1]
+        for group in libgroups:
+            if group['alias'] in names:
+                counter[group['alias']] -= 1
+                group['alias'] = f"{group['name']}_{counter[group['alias']]}"
+                print(f"Renamed {group['name']} to {group['alias']}")
+                group['name'] = group['alias']
+
         cm_file.write("# Library source files\n")
         for group in project:
             cm_file.write("SET(RT_{:s}_SOURCES\n".format(group['name'].upper()))