Skip to content

tools/ci: Include fetching pico-sdk in the CI environment setup #16862

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
xiaoxiang781216 merged 1 commit into from
Aug 19, 2025
Merged

tools/ci: Include fetching pico-sdk in the CI environment setup #16862

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 14 additions & 0 deletions tools/ci/docker/linux/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -293,6 +293,15 @@ RUN mkdir -p wamrc && \
curl -s -L "https://github.com/bytecodealliance/wasm-micro-runtime/releases/download/WAMR-1.1.2/wamrc-1.1.2-x86_64-ubuntu-20.04.tar.gz" \
| tar -C wamrc -xz

###############################################################################
# Build image for tool required by Raspberry Pi pico-sdk builds
###############################################################################
FROM nuttx-toolchain-base AS nuttx-toolchain-raspberrypi-pico-sdk
# Download the latest pico-sdk source archive
RUN mkdir -p pico-sdk && \
curl -s -L "https://github.com/raspberrypi/pico-sdk/releases/download/2.2.0/pico-sdk-2.2.0.tar.gz" \
| tar -C pico-sdk --strip-components 1 -xz

###############################################################################
# Final Docker image used for running CI system. This includes all toolchains
# supported by the CI system.
Expand Down Expand Up @@ -478,6 +487,11 @@ COPY --from=nuttx-toolchain-esp32 /tools/blobs/* /tools/blobs/esp-bins/
COPY --from=nuttx-toolchain-wasm /tools/wasi-sdk/ wasi-sdk/
ENV WASI_SDK_PATH="/tools/wasi-sdk"
ENV PATH="/tools/wamr:$PATH"
COPY --from=nuttx-toolchain-esp32 /tools/blobs/* /tools/blobs/esp-bins/

# Raspberry Pi pico-sdk source
COPY --from=nuttx-toolchain-raspberrypi-pico-sdk /tools/pico-sdk/ pico-sdk/
ENV PICO_SDK_PATH="/tools/pico-sdk"

# gn tool
RUN mkdir -p /tools/gn
Expand Down
23 changes: 22 additions & 1 deletion tools/ci/platforms/linux.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -299,6 +299,27 @@ wasi_sdk() {
command wamrc --version
}

raspberrypi_pico_sdk() {
if [ ! -f "${NUTTXTOOLS}/pico-sdk" ]; then
local release
local basefile
release="2.2.0"
basefile="pico-sdk-${release}"
cd "${NUTTXTOOLS}"
mkdir -p pico-sdk

# Download the latest pico-sdk source archive
curl -O -L -s https://github.com/raspberrypi/pico-sdk/releases/download/${release}/${basefile}.tar.gz
tar xzf "${basefile}.tar.gz"
mv "${basefile}" pico-sdk
rm "${basefile}.tar.gz"

fi

export PICO_SDK_PATH="${NUTTXTOOLS}/pico-sdk"
echo "export PICO_SDK_PATH=${NUTTXTOOLS}/pico-sdk" >> "${NUTTXTOOLS}"/env.sh
}

setup_links() {
# Configure ccache
mkdir -p "${NUTTXTOOLS}"/ccache/bin/
Expand Down Expand Up @@ -334,7 +355,7 @@ install_build_tools() {
mkdir -p "${NUTTXTOOLS}"
echo "#!/usr/bin/env sh" > "${NUTTXTOOLS}"/env.sh

install="arm_clang_toolchain arm_gcc_toolchain arm64_gcc_toolchain bloaty kconfig_frontends mips_gcc_toolchain python_tools riscv_gcc_toolchain rx_gcc_toolchain sparc_gcc_toolchain xtensa_esp_gcc_toolchain util_linux wasi_sdk"
install="arm_clang_toolchain arm_gcc_toolchain arm64_gcc_toolchain bloaty kconfig_frontends mips_gcc_toolchain python_tools riscv_gcc_toolchain rx_gcc_toolchain sparc_gcc_toolchain xtensa_esp_gcc_toolchain util_linux wasi_sdk raspberrypi_pico_sdk"

oldpath=$(cd . && pwd -P)
for func in ${install}; do
Expand Down
23 changes: 22 additions & 1 deletion tools/ci/platforms/ubuntu.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -379,6 +379,27 @@ wasi_sdk() {
command wamrc --version
}

raspberrypi_pico_sdk() {
if [ ! -f "${NUTTXTOOLS}/pico-sdk" ]; then
local release
local basefile
release="2.2.0"
basefile="pico-sdk-${release}"
cd "${NUTTXTOOLS}"
mkdir -p pico-sdk

# Download the latest pico-sdk source archive
curl -O -L -s https://github.com/raspberrypi/pico-sdk/releases/download/${release}/${basefile}.tar.gz
tar xzf "${basefile}.tar.gz"
mv "${basefile}" pico-sdk
rm "${basefile}.tar.gz"

fi

export PICO_SDK_PATH="${NUTTXTOOLS}/pico-sdk"
echo "export PICO_SDK_PATH=${NUTTXTOOLS}/pico-sdk" >> "${NUTTXTOOLS}"/env.sh
}

setup_links() {
# Configure ccache
mkdir -p "${NUTTXTOOLS}"/ccache/bin/
Expand Down Expand Up @@ -414,7 +435,7 @@ install_build_tools() {
mkdir -p "${NUTTXTOOLS}"
echo "#!/usr/bin/env sh" > "${NUTTXTOOLS}"/env.sh

install="arm_clang_toolchain arm_gcc_toolchain arm64_gcc_toolchain avr_gcc_toolchain binutils bloaty clang_tidy gen_romfs gperf kconfig_frontends mips_gcc_toolchain python_tools riscv_gcc_toolchain rust dlang rx_gcc_toolchain sparc_gcc_toolchain xtensa_esp_gcc_toolchain u_boot_tools util_linux wasi_sdk c_cache"
install="arm_clang_toolchain arm_gcc_toolchain arm64_gcc_toolchain avr_gcc_toolchain binutils bloaty clang_tidy gen_romfs gperf kconfig_frontends mips_gcc_toolchain python_tools riscv_gcc_toolchain rust dlang rx_gcc_toolchain sparc_gcc_toolchain xtensa_esp_gcc_toolchain u_boot_tools util_linux wasi_sdk c_cache raspberrypi_pico_sdk"

oldpath=$(cd . && pwd -P)
for func in ${install}; do
Expand Down
Loading