It's necessary to install CMake, Git, and the 32-bit ARM compiler. This example project downloads the Pico SDK automatically.
Configure the CMake project once, unless changing an option or doing a major change to code:
cmake -B build
To save build time, pick a particular target to build like:
cmake --build build -t pwm_led_fade
or if you wish, build all target:
cmake --build build
This creates a "build/src/pwm/led_fade/pwm_led_fade.uf2" file. The .uf2 file is the binary image we need to upload to the Pico board for a particular program.