1if (NOT TARGET pico_platform)
2    pico_add_library(pico_platform)
3
4    target_sources(pico_platform INTERFACE
5            ${CMAKE_CURRENT_LIST_DIR}/platform.c
6    )
7
8    target_compile_definitions(pico_platform_headers INTERFACE
9            PICO_NO_HARDWARE=0
10            PICO_ON_DEVICE=1
11            PICO_BUILD=1
12            PICO_RP2040=1
13            PICO_32BIT=1
14    )
15
16    target_include_directories(pico_platform_headers SYSTEM INTERFACE ${CMAKE_CURRENT_LIST_DIR}/include)
17
18    target_link_libraries(pico_platform_headers INTERFACE hardware_regs)
19    pico_mirrored_target_link_libraries(pico_platform INTERFACE
20            pico_platform_compiler
21            pico_platform_panic
22            pico_platform_sections
23    )
24endif()
25
26function(pico_add_platform_library TARGET)
27    target_link_libraries(pico_platform INTERFACE ${TARGET})
28endfunction()