These instructions assume a setup with one Raspberry Pi Pico with picoprobe used to flash another Raspberry Pi Pico. For other setups, see the official documentation.
Install the AUR packages raspberry-pico-sdk-git and openocd-picoprobe.
To build, run
mkdir out
cd out
cmake [-DCMAKE_BUILD_TYPE=Debug] ..
make <target>
To flash, run
make flash
Install the pico-sdk and Raspberry Pi version of OpenOCD as described in Getting started with Raspberry Pi Pico (section Installing OpenOCD). To build, run
export PICO_SDK_PATH=[...] # or set PICO_SDK_FETCH_FROM_GIT=1
export OPENOCD_BIN_PATH=[...]
export OPENOCD_SCRIPTS_PATH=[...]
mkdir out
cd out
cmake [-DCMAKE_BUILD_TYPE=Debug] ..
make <target>
To flash, run
make flash
This project is licensed under the MIT license - see LICENSE for details.