diff options
Diffstat (limited to 'contrib/Makefile')
| -rw-r--r-- | contrib/Makefile | 38 |
1 files changed, 36 insertions, 2 deletions
diff --git a/contrib/Makefile b/contrib/Makefile index 8535a11..15406b3 100644 --- a/contrib/Makefile +++ b/contrib/Makefile @@ -20,8 +20,17 @@ ## along with spreadspace rppico utils. If not, see <http://www.gnu.org/licenses/>. ## -all: download-picoprobe clone-openocd -clean: clean-picoprobe clean-openocd +CHIBIOS_VERSION := 21.11.2 +CHIBIOS_SHA256SUM := ba74eec6230b66d79c0f0a26e9af00ca46756cb47f7b4a229eb228cbff3a8b48 +FMPP_VERSION := 0.9.16 +FMPP_SHA256SUM := 86561e3f3a2ccb436f5f3df88d79a7dad72549a33191901f49d12a38b53759cd +GCC_VERSION := 10.3-2021.10 +GCC_HOST := $(shell uname -m)-$(shell uname | tr '[:upper:]' '[:lower:]') +GCC_SHA256SUM := 97dbb4f019ad1650b732faffcc881689cedc14e2b7ee863d390e0a41ef16c9a3 + + +all: download-picoprobe clone-openocd download-chibios download-gcc +clean: clean-picoprobe clean-openocd clean-chibios clean-gcc download-picoprobe: picoprobe.u2f @@ -41,3 +50,28 @@ clone-openocd: openocd/src/openocd clean-openocd: rm -rf openocd + + +download-chibios: ChibiOS_${CHIBIOS_VERSION}.7z + +ChibiOS_${CHIBIOS_VERSION}.7z: + wget "https://osdn.net/dl/chibios/$@" -O "$@" + echo "${CHIBIOS_SHA256SUM} $@" | sha256sum -c + 7z x $@ + 7z "-oChibiOS_${CHIBIOS_VERSION}/ext/" x "ChibiOS_${CHIBIOS_VERSION}/ext/pico-sdk *.7z" + +clean-chibios: + rm -f ChibiOS_${CHIBIOS_VERSION}.7z + rm -rf ChibiOS_${CHIBIOS_VERSION} + + +download-gcc: gcc-arm-none-eabi-${GCC_VERSION}-${GCC_HOST}.tar.bz2 + +gcc-arm-none-eabi-${GCC_VERSION}-${GCC_HOST}.tar.bz2: + wget "https://developer.arm.com/-/media/Files/downloads/gnu-rm/${GCC_VERSION}/$@" -O "$@" + echo "${GCC_SHA256SUM} $@" | sha256sum -c + tar -xjf $@ + +clean-gcc: + rm -f gcc-arm-none-eabi-${GCC_VERSION}-${GCC_HOST}.tar.bz2 + rm -rf gcc-arm-none-eabi-${GCC_VERSION} |