Platform-raspberrypi using Pico SDK 2.0.0: include path

carlk3 · September 21, 2024, 9:24pm

I’m trying to build for

[env:pico2]
platform = https://github.com/maxgerhardt/platform-raspberrypi.git
board = rpipico2
framework = arduino

The old RTC has been replaced by the Always-On Timer, and there is a new header pico/aon_timer.h. If I

#include "pico/aon_timer.h"

I get

fatal error: pico/aon_timer.h: No such file or directory

. How can I add

$PICO_SDK_PATH/src/rp2_common/pico_aon_timer/include/

to my include path?

maxgerhardt · September 22, 2024, 4:56pm