diff options
| -rw-r--r-- | pico-sdk.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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") |