raspberrypi-setup git clone https://github.com./raspberrypi/pico-sdk.git mkdir pico cd pico cp ~/pico-sdk/external/pico_sdk_import.cmake . mkdir build cd build export PICO_SDK_PATH=../../pico-sdk cmake .. make