From a6a15e900e8df2cd102c2939bcfae0bd182a3fd6 Mon Sep 17 00:00:00 2001 From: Ekaitz Zarraga Date: Tue, 26 Sep 2023 12:11:21 +0200 Subject: Move pico-sdk to new arm style --- pico-sdk.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pico-sdk.scm b/pico-sdk.scm index 7b9f1dc..ddf6050 100644 --- a/pico-sdk.scm +++ b/pico-sdk.scm @@ -32,7 +32,7 @@ (files '("."))))) (build-system copy-build-system) (propagated-inputs (list cmake gnu-make - arm-none-eabi-toolchain-7-2018-q2-update + (make-arm-none-eabi-toolchain-7-2018-q2-update) gcc-toolchain ; For elf2uf2 )) (home-page "https://github.com/raspberrypi/pico-sdk") -- cgit v1.2.3