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

Dockerfile improvments and fixes

Browse Source
This commit is contained in:
lukstep
2022-09-17 08:50:15 +02:00
parent b87a3a2640
commit 4c7b2b09fc
1 changed files with 8 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
docker/Dockerfile
View File

@@ -14,18 +14,19 @@ RUN apk update && \
gcc-arm-none-eabi
# Raspberry Pi Pico SDK
RUN git clone https://github.com/raspberrypi/pico-sdk /usr/pico-sdk && \
cd /usr/pico-sdk && \
ARG SDK_PATH=/usr/share/pico_sdk
RUN git clone https://github.com/raspberrypi/pico-sdk $SDK_PATH && \
cd $SDK_PATH && \
git submodule update --init
ENV PICO_SDK_PATH=/usr/pico-sdk
ENV PICO_SDK_PATH=$SDK_PATH
# Picotool installation
RUN git clone -b master https://github.com/raspberrypi/picotool.git /usr/picotool && \
cd /usr/picotool && \
RUN git clone -b master https://github.com/raspberrypi/picotool.git /home/picotool && \
cd /home/picotool && \
mkdir build && \
cd build && \
cmake .. && \
make && \
cp /usr/picotool/build/picotool /bin/picotool && \
rm -rf /usr/picotool
cp /home/picotool/build/picotool /bin/picotool && \
rm -rf /home/picotool