Description
Describe the bug
The RP2040 port seems to not include a local config directory for freertosConfig.h. Other cmakefiles would pick this up through the variable FREERTOS_CONFIG_FILE_DIRECTORY, but FreeRTOS-Kernel/portable/ThirdParty/GCC/RP2040/library.cmake does not reference this.
Target
- Development board: RPI Pico
- Instruction Set Architecture: RP2040
- IDE and version: Cmake 3.16.3
- Toolchain and version: GCC 9.4.0
Host
- Host OS: RPI4
- Version: Umbuntu 20.04
To Reproduce
- Use project project and configure with "add_subdirectory(/FreeRTOS-Kernel/portable/ThirdParty/GCC/RP2040/)
Expected behavior
Expect client to define FREERTOS_CONFIG_FILE_DIRECTORY in top level makefile before adding the subdirectory
Screenshots
N/A
Additional context
Add any other context about the problem here.
I'd expect line 17 of FreeRTOS-Kernel/portable/ThirdParty/GCC/RP2040/library.cmake To become:
target_include_directories(FreeRTOS-Kernel-Core INTERFACE
${FREERTOS_KERNEL_PATH}/include
${FREERTOS_CONFIG_FILE_DIRECTORY}
)
Currently just target_include_directories(FreeRTOS-Kernel-Core INTERFACE ${FREERTOS_KERNEL_PATH}/include)