While re-building code for SDK v1.5.0 (which compiles without error for 1.4.0), I encountered this error in the compile step:
/path/to/pico-sdk/src/rp2_common/pico_cyw43_driver/cyw43_bus_pio_spi.c:11:10: fatal error: pico/stdlib.h: No such file or directory
#include "pico/stdlib.h"
^~~~~~~~~~~~~~~
compilation terminated.
make[2]: *** [CMakeFiles/test-https-background.dir/build.make:1595: CMakeFiles/test-https-background.dir/path/to/pico-sdk/src/rp2_common/pico_cyw43_driver/cyw43_bus_pio_spi.c.obj] Error 1
Adding pico_stdlib to target_link_libraries() in CMakeLists.txt fixes it.
@kilograham said in a forum thread that pico_cyw43_driver should not depend on pico_stdlib.