..

dweindl · May 15, 2024 · 257427d · 257427d
1 parent b75abc7
commit 257427d
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -90,7 +90,6 @@ if("$ENV{ENABLE_AMICI_DEBUGGING}" OR "$ENV{ENABLE_GCOV_COVERAGE}")
   else()
     add_compile_options(-O0 -g)
   endif()
-  set(CMAKE_BUILD_TYPE "Debug")
 endif()
 
 # coverage options

diff --git a/scripts/buildAmici.sh b/scripts/buildAmici.sh
@@ -14,7 +14,8 @@ mkdir -p "${amici_build_dir}"
 cd "${amici_build_dir}"
 
 if [ "${GITHUB_ACTIONS:-}" = true ] ||
-  [ "${ENABLE_AMICI_DEBUGGING:-}" = TRUE ]; then
+  [ "${ENABLE_AMICI_DEBUGGING:-}" = TRUE ] ||
+  [ "${ENABLE_GCOV_COVERAGE:-}" = TRUE ]; then
   # Running on CI server
   build_type="Debug"
   # exceptions instead of terminate()

diff --git a/src/CMakeLists.template.cmake b/src/CMakeLists.template.cmake
@@ -47,7 +47,6 @@ if("$ENV{ENABLE_AMICI_DEBUGGING}" OR "$ENV{ENABLE_GCOV_COVERAGE}")
   else()
     add_compile_options(-O0 -g)
   endif()
-  set(CMAKE_BUILD_TYPE "Debug")
 endif()
 
 # coverage options
-Original file line number
+Diff line change
@@ Expand Up @@
       else()
         add_compile_options(-O0 -g)
       endif()
-      set(CMAKE_BUILD_TYPE "Debug")
     endif()
     # coverage options
@@ Expand Down @@