pico-sdk-lib/build.sh will compile a libpico.a file from scratch using the selected pico SDK directory.