mirror of
https://git.busybox.net/buildroot.git
synced 2024-11-23 05:23:39 +08:00
5511e26b4f
Add the pi-pico sdk as a dependency for picotool. This is a bit of a weird package, because you normally clone the git repository and point the picotool (or rp2040 firmware project) build to it. For picotool specifically, only headers are used from the sdk, for building a firmware project, it is included as source files via cmake, so this pretty much has the same semantics for that as well. Signed-off-by: Marcus Hoffmann <buildroot@bubu1.eu> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
21 lines
621 B
Makefile
21 lines
621 B
Makefile
################################################################################
|
|
#
|
|
# pico-sdk
|
|
#
|
|
################################################################################
|
|
|
|
PICO_SDK_VERSION = 1.5.1
|
|
PICO_SDK_SITE = $(call github,raspberrypi,pico-sdk,$(PICO_SDK_VERSION))
|
|
PICO_SDK_LICENSE = BSD-3-Clause
|
|
PICO_SDK_LICENSE_FILES = LICENSE.TXT
|
|
PICO_SDK_INSTALL_STAGING = YES
|
|
# Header-only lib, as far as buildroot is concerned
|
|
PICO_SDK_INSTALL_TARGET = NO
|
|
|
|
define PICO_SDK_INSTALL_STAGING_CMDS
|
|
mkdir -p $(STAGING_DIR)/usr/share/pico-sdk
|
|
cp -r $(@D)/* $(STAGING_DIR)/usr/share/pico-sdk
|
|
endef
|
|
|
|
$(eval $(generic-package))
|