michaelh/zephyr
1
0
Fork 0
Code Releases Activity
zephyr/cmake/sca/sparse/sca.cmake

20 lines
849 B
CMake
Raw Permalink Normal View History

cmake: add sparse support to the new SCA infrastructure Sparse support was original introduced in #43776. This commit introduces sparse support as part of Zephyr SCA tool infrastructure. The implementation in this commit has some benefits over existing support: - It does not required users to set `REAL_CC` in environment before invoking build command. This reduces risk of user mistakes, such as - REAL_CC being different from CMAKE_C_COMPILER. - User running CMake in one terminal / environment where REAL_CC is defined but invoking the build command in a different terminal / environment where REAL_CC is not defined or defined differently. - It improve user experience as the user no longer has to define / re-define REAL_CC when building for different architecture, like switching from arm to xtensa, as this is now handled in CMake. - CMAKE_C_COMPILER is not overwriting, this can be important for other tools which calls the C compiler for pre-processing purposes, such as devicetree and linker script generation. Signed-off-by: Torsten Rasmussen <Torsten.Rasmussen@nordicsemi.no>
2022-11-30 12:22:49 +01:00
# SPDX-License-Identifier: Apache-2.0
#
# Copyright (c) 2022, Nordic Semiconductor ASA
find_program(SPARSE_COMPILER cgcc REQUIRED)
cmake: sca: Add "SCA" to the Found messages This commit enhances the clarity of the build log by adding the "SCA" prefix to the "Found" messages generated by sca/*/sca.cmake. This change improves the readability of the `west build` log for users who may not be familiar with these tools, providing more informative and understandable output. Signed-off-by: Yasushi SHOJI <yashi@spacecubics.com>
2024-01-25 05:06:47 +01:00
message(STATUS "Found SCA: sparse (${SPARSE_COMPILER})")
cmake: add sparse support to the new SCA infrastructure Sparse support was original introduced in #43776. This commit introduces sparse support as part of Zephyr SCA tool infrastructure. The implementation in this commit has some benefits over existing support: - It does not required users to set `REAL_CC` in environment before invoking build command. This reduces risk of user mistakes, such as - REAL_CC being different from CMAKE_C_COMPILER. - User running CMake in one terminal / environment where REAL_CC is defined but invoking the build command in a different terminal / environment where REAL_CC is not defined or defined differently. - It improve user experience as the user no longer has to define / re-define REAL_CC when building for different architecture, like switching from arm to xtensa, as this is now handled in CMake. - CMAKE_C_COMPILER is not overwriting, this can be important for other tools which calls the C compiler for pre-processing purposes, such as devicetree and linker script generation. Signed-off-by: Torsten Rasmussen <Torsten.Rasmussen@nordicsemi.no>
2022-11-30 12:22:49 +01:00
# Create sparse.cmake which will be called as compiler launcher.
# sparse.cmake will ensure that REAL_CC is set correctly in environment before
# cgcc is called, thereby ensuring correct behavior of sparse without a need
# for REAL_CC to be set in environment.
configure_file(${CMAKE_CURRENT_LIST_DIR}/sparse.template ${CMAKE_BINARY_DIR}/sparse.cmake @ONLY)
set(launch_environment ${CMAKE_COMMAND} -P ${CMAKE_BINARY_DIR}/sparse.cmake --)
set(CMAKE_C_COMPILER_LAUNCHER ${launch_environment} CACHE INTERNAL "")
list(APPEND TOOLCHAIN_C_FLAGS -D__CHECKER__)
# Avoid compiler "attribute directive ignored" warnings
list(APPEND TOOLCHAIN_C_FLAGS -Wno-attributes)
Copy permalink