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()