Debug flag subordinate to any CMAKE_BUILD_TYPE

In practice the debug flag is being left defaulted to None but was still overriding the build type
tum-ei-eda · Apr 19, 2024 · ca0ec66 · ca0ec66
1 parent 3a2132f
commit ca0ec66
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/seal5/utils.py b/seal5/utils.py
@@ -145,8 +145,9 @@ def cmake(src, *args, debug: Optional[bool] = None, use_ninja: Optional[bool] =
     if isinstance(cwd, Path):
         cwd = str(cwd.resolve())
     extraArgs = []
-    if debug is not None:
-        buildType = "Debug" if debug else "Release"
+    if not any("CMAKE_BUILD_TYPE" in x for x in args):
+        if debug is not None:
+            buildType = "Debug" if debug else "Release"
         extraArgs.append("-DCMAKE_BUILD_TYPE=" + buildType)
     if use_ninja:
         extraArgs.append("-GNinja")