mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-04-20 05:21:59 -04:00
5dbfd380f0
* Add coverity example * Update for CI * Fix for CI 2 * Update kernel_misra.config * Rename coverity example to coverity * Update FreeRTOSConfig.h for coverity project * Update MISRA.md * Move coverity config to coverity_misra.config * Update coverity misra config * Add README.md file * Update FreeRTOSConfig.h for coverity * Fix uncrustify and spell * Update README.md for relative link path Update README.md for relative link path * Update README.md for relative link 2 * Update MISRA.md for relateive path * Fix for format * Update coverity_misra.config * Update configuration folder * Update README.md for link * Code review suggestions Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> --------- Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> Co-authored-by: Ubuntu <ubuntu@ip-172-31-34-245.ap-northeast-1.compute.internal> Co-authored-by: Rahul Kar <118818625+kar-rahul-aws@users.noreply.github.com> Co-authored-by: Soren Ptak <ptaksoren@gmail.com> Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com> Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
40 lines
1.4 KiB
CMake
40 lines
1.4 KiB
CMake
cmake_minimum_required(VERSION 3.15)
|
|
|
|
project(coverity)
|
|
|
|
set(FREERTOS_KERNEL_PATH "../../")
|
|
FILE(GLOB FREERTOS_KERNEL_SOURCE ${FREERTOS_KERNEL_PATH}*.c)
|
|
|
|
# Coverity incorrectly infers the type of pdTRUE and pdFALSE as boolean because
|
|
# of their names. This generates multiple false positive warnings about type
|
|
# mismatch. Replace pdTRUE with pdPASS and pdFALSE with pdFAIL to avoid these
|
|
# false positive warnings. This workaround will not be needed after Coverity
|
|
# fixes the issue of incorrectly inferring the type of pdTRUE and pdFALSE as
|
|
# boolean.
|
|
add_custom_target(fix_source ALL
|
|
COMMAND sed -i -b -e 's/pdFALSE/pdFAIL/g' -e 's/pdTRUE/pdPASS/g' ${FREERTOS_KERNEL_SOURCE}
|
|
DEPENDS ${FREERTOS_KERNEL_SOURCE})
|
|
|
|
# Add the freertos_config for FreeRTOS-Kernel.
|
|
add_library(freertos_config INTERFACE)
|
|
|
|
target_include_directories(freertos_config
|
|
INTERFACE
|
|
./)
|
|
|
|
# Select the heap. Values between 1-5 will pick a heap.
|
|
set(FREERTOS_HEAP "3" CACHE STRING "" FORCE)
|
|
|
|
# Select the FreeRTOS port.
|
|
set(FREERTOS_PORT "TEMPLATE" CACHE STRING "" FORCE)
|
|
|
|
# Add the FreeRTOS-Kernel subdirectory.
|
|
add_subdirectory(${FREERTOS_KERNEL_PATH} FreeRTOS-Kernel)
|
|
|
|
add_executable(${PROJECT_NAME}
|
|
../cmake_example/main.c)
|
|
|
|
add_dependencies(${PROJECT_NAME} fix_source)
|
|
|
|
target_link_libraries(${PROJECT_NAME} freertos_kernel freertos_config)
|