This respository will setup the Raspberry PI Pico build environment on your system.
it contains three scripts:
get_pico_sdk.sh
update_pico_sdk.sh
and
is_pico_sdk_installed.sh
To get started run get_pico_sdk.sh and it will setup your system with installed SDk files and system envirment variables that will allow your project directories to build.