andrey/raspberry-pi-pico-docker-sdk
1
0
Fork 1
mirror of https://github.com/lukstep/raspberry-pi-pico-docker-sdk.git synced 2025-12-22 18:45:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

Clone specified vesion of SDK and picotool

Browse Source
This commit is contained in:
lukstep
2022-11-11 16:19:53 +01:00
parent 989cd790e4
commit 90483caaef
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Dockerfile
View File

@@ -15,14 +15,14 @@ RUN apk update && \
# Raspberry Pi Pico SDK
ARG SDK_PATH=/usr/share/pico_sdk
RUN git clone https://github.com/raspberrypi/pico-sdk $SDK_PATH && \
RUN git clone --depth 1 --branch 1.4.0 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 -b master https://github.com/raspberrypi/picotool.git /home/picotool && \
RUN git clone --depth 1 --branch 1.1.0 https://github.com/raspberrypi/picotool.git /home/picotool && \
cd /home/picotool && \
mkdir build && \
cd build && \