From 4e7265daa7c95179012410a9175cb4e04ecc95f3 Mon Sep 17 00:00:00 2001 From: Ekaitz Zarraga Date: Tue, 5 Sep 2023 12:09:59 +0200 Subject: Add pico-sdk --- pico-sdk.scm | 43 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 pico-sdk.scm 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))) -- cgit v1.2.3