summaryrefslogtreecommitdiff
path: root/pico-sdk.scm
diff options
context:
space:
mode:
Diffstat (limited to 'pico-sdk.scm')
-rw-r--r--pico-sdk.scm43
1 files changed, 43 insertions, 0 deletions
diff --git a/pico-sdk.scm b/pico-sdk.scm
new file mode 100644
index 0000000..7b9f1dc
--- /dev/null
+++ b/pico-sdk.scm
@@ -0,0 +1,43 @@
+(define-module (pico-sdk)
+ #:use-module (guix gexp)
+ #:use-module (guix packages)
+ #:use-module (gnu packages)
+ #:use-module (gnu packages base)
+ #:use-module (gnu packages cmake)
+ #:use-module (gnu packages commencement)
+ #:use-module (gnu packages embedded)
+ #:use-module (guix git-download)
+ #:use-module (guix build-system copy)
+ #:use-module ((guix licenses) #:prefix license:))
+
+
+;; USE IT WITH CMAKE WITH; -DPICO_SDK_PATH=#$pico-sdk
+;; WE HAVE THE VARIABLE SET TOO, JUST IN CASE
+(define-public pico-sdk
+ (package
+ (name "pico-sdk")
+ (version "1.5.1")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/raspberrypi/pico-sdk")
+ (commit version)))
+ (file-name (string-append name "-" version))
+ (sha256
+ (base32
+ "0x92f213zm4mp0ffdar6hdp7jvjzfxa59agqja7xhd4prrvk3mr4"))))
+ (native-search-paths
+ (list (search-path-specification
+ (variable "PICO_SDK_PATH")
+ (files '(".")))))
+ (build-system copy-build-system)
+ (propagated-inputs (list cmake gnu-make
+ arm-none-eabi-toolchain-7-2018-q2-update
+ gcc-toolchain ; For elf2uf2
+ ))
+ (home-page "https://github.com/raspberrypi/pico-sdk")
+ (synopsis "The Raspberry Pi Pico SDK")
+ (description "The SDK provides the headers, libraries and build system
+necessary to write programs for the RP2040-based devices such as the Raspberry
+Pi Pico in C, C++ or assembly language.")
+ (license license:bsd-3)))