summaryrefslogtreecommitdiff
path: root/pico-sdk.scm
diff options
context:
space:
mode:
Diffstat (limited to 'pico-sdk.scm')
-rw-r--r--pico-sdk.scm2
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")