Merge pull request #63 from tum-ei-eda/respect_build_type

Make Debug flag subordinate to any CMAKE_BUILD_TYPE
tum-ei-eda · Apr 19, 2024 · 342df72 · 342df72
2 parents 3a2132f + ca0ec66
commit 342df72
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")