dbg

dweindl · May 16, 2024 · 688c0e4 · 688c0e4
1 parent 2be4b4c
commit 688c0e4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/python/sdist/amici/setup.template.py b/python/sdist/amici/setup.template.py
@@ -27,7 +27,7 @@ def get_extension() -> CMakeExtension:
     debug_build = os.getenv("ENABLE_AMICI_DEBUGGING", "").lower() in [
         "1",
         "true",
-    ]
+    ] or os.getenv("ENABLE_GCOV_COVERAGE", "").lower() in ["1", "true"]
 
     return CMakeExtension(
         name="model_ext",

diff --git a/python/sdist/setup.py b/python/sdist/setup.py
@@ -144,7 +144,7 @@ def get_extensions():
     debug_build = os.getenv("ENABLE_AMICI_DEBUGGING", "").lower() in [
         "1",
         "true",
-    ]
+    ] or os.getenv("ENABLE_GCOV_COVERAGE", "").lower() in ["1", "true"]
     amici_ext = CMakeExtension(
         name="amici",
         install_prefix="amici",