Skip to content

Commit 76ddc60

Browse files
committed
Update pico-sdk to v2.1.1
1 parent 09f6c58 commit 76ddc60

File tree

1 file changed

+15
-2
lines changed

1 file changed

+15
-2
lines changed

docker/Dockerfile

Lines changed: 15 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,16 +16,29 @@ RUN \
1616
apt install -y cmake gcc-arm-none-eabi libnewlib-arm-none-eabi libstdc++-arm-none-eabi-newlib build-essential
1717

1818
# Install Pico SDK into a new stage
19-
FROM base as buildtools
19+
FROM base AS buildtools
2020

2121
# Install Pico SDK
2222
RUN \
2323
mkdir -p /pico/ && \
2424
cd /pico/ && \
25-
git clone https://github.com/raspberrypi/pico-sdk.git --branch 2.0.0 && \
25+
git clone https://github.com/raspberrypi/pico-sdk.git --branch 2.1.1 && \
2626
cd pico-sdk/ && \
2727
git submodule update --init && \
2828
cd /
2929

3030
# Set the Pico SDK environment variable
3131
ENV PICO_SDK_PATH=/pico/pico-sdk/
32+
33+
# Install picotool
34+
# ensure versions of sdk and picotool match
35+
RUN \
36+
git clone https://github.com/raspberrypi/picotool.git --branch 2.1.1 && \
37+
cd picotool && \
38+
mkdir build && \
39+
cd build && \
40+
cmake .. && \
41+
make -j$(nproc) && \
42+
cmake --install . && \
43+
cd ../.. && \
44+
rm -rf picotool

0 commit comments

Comments
 (0)