2 Commits

Author SHA1 Message Date
dae1fa9771 Update pico sdk to 2.1.1 2025-04-22 10:47:24 +03:00
9d57df6c8b add Jenkinsfile 2024-02-04 21:42:25 +03:00
2 changed files with 15 additions and 2 deletions

View File

@@ -15,14 +15,14 @@ RUN apk update && \
# Raspberry Pi Pico SDK
ARG SDK_PATH=/usr/share/pico_sdk
RUN git clone --depth 1 --branch 1.5.1 https://github.com/raspberrypi/pico-sdk $SDK_PATH && \
RUN git clone --depth 1 --branch 2.1.1 --single-branch https://github.com/raspberrypi/pico-sdk $SDK_PATH && \
cd $SDK_PATH && \
git submodule update --init
ENV PICO_SDK_PATH=$SDK_PATH
# Picotool installation
RUN git clone --depth 1 --branch 1.1.2 https://github.com/raspberrypi/picotool.git /home/picotool && \
RUN git clone --depth 1 --branch 2.1.1 --single-branch https://github.com/raspberrypi/picotool.git /home/picotool && \
cd /home/picotool && \
mkdir build && \
cd build && \

13
Jenkinsfile vendored Normal file
View File

@@ -0,0 +1,13 @@
node {
stage("Download SRC") {
checkout scm
}
stage("Docker build") {
docker.build("${env.DOCKER_PREFIX}/picosdk", ".")
}
stage("docker prune") {
sh 'docker system prune -f'
}
}