Set the default build type to Release

antmicro · Nov 24, 2023 · 62549b7 · 62549b7
1 parent 3174c92
commit 62549b7
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/.github/workflows/run-sample.yml b/.github/workflows/run-sample.yml
@@ -99,7 +99,7 @@ jobs:
         if: ${{ runner.os != 'Windows' }}
         run: |
           cd ${{ env.SAMPLE_DIR }}/build
-          cmake .. -DCMAKE_BUILD_TYPE=Release -DUSER_RENODE_DIR=../../../renode -DUSER_VERILATOR_DIR=../../../verilator ${{ inputs.custom_cmake_args }}
+          cmake .. -DUSER_RENODE_DIR=../../../renode -DUSER_VERILATOR_DIR=../../../verilator ${{ inputs.custom_cmake_args }}
           make
           cp verilated ${{ github.workspace }}/${{ env.ARTIFACTS_DIR_NAME }}/
         

diff --git a/cmake/build-cosimulation.cmake b/cmake/build-cosimulation.cmake
@@ -4,6 +4,11 @@ if(POLICY CMP0074)
   cmake_policy(SET CMP0074 NEW)
 endif()
 
+if(NOT CMAKE_BUILD_TYPE)
+  set(CMAKE_BUILD_TYPE Release CACHE STRING "Type of build" FORCE)
+  message(STATUS "Setting build type to ${CMAKE_BUILD_TYPE} as none was specified")
+endif()
+
 if(NOT USER_RENODE_DIR AND DEFINED ENV{RENODE_ROOT})
   message(STATUS "Using RENODE_ROOT from environment as USER_RENODE_DIR")
   set(USER_RENODE_DIR $ENV{RENODE_ROOT} CACHE PATH "Absolute (!) path to Renode root directory or any other that contains VerilatorIntegrationLibrary.")