Skip to content

compile_time_choice.S fails to build when using PICO_CONFIG_RTOS_ADAPTER_HEADER #950

@NomiChirps

Description

@NomiChirps

The PICO_CONFIG_RTOS_ADAPTER_HEADER define, introduced in #851, will cause src/common/pico_base/include/pico/config.h to include the named file. When that pico/config.h is included from src/common/pico_base/include/pico.h, this works fine.

However, boot_stage2/compile_time_choice.S includes boot_stage2/include/config.h, which includes pico/config.h DIRECTLY. This means that the __PICO_XSTRING() macros aren't defined and preprocessing fails.

I ran into this issue while using https://github.com/dfr/rules_pico to build the SDK, but from my reading of the CMake files here, I don't see how it would work for a regular build either.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions