Merge branch 'main' of https://github.com/tum-ei-eda/seal5 into main

tum-ei-eda · Apr 24, 2024 · 84ad68c · 84ad68c
2 parents d07d328 + 342df72
commit 84ad68c
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")