Interstate75 / Pico SDK

Hi Everyone,

I was trying to find a Mac focused tutorial like this one for windows: Easy Raspberry Pi Pico Microcontroller C / C++ Programming on Windows

But I can’t really get to the end with the readme files that are in the Pico repository.
I got almost everything complete, but now got stuck at a probably silly problem :
“/Users/marcelo/pico/pimoroni-pico/pico-boilerplate/main.cpp:7:10: fatal error: pico/stdlib.h: No such file or directory
7 | #include “pico/stdlib.h””

Is this a c_cpp_properties.json issue?

or simple a library that needs to be included ( which I don’t know the path ) in the Cmake file?
e.g: “include(libraries/pico_explorer/pico_explorer)”

Thanks in advance!