diff --git a/Dockerfile b/Dockerfile index a649ad8..34d9e30 100644 --- a/Dockerfile +++ b/Dockerfile @@ -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 && \ diff --git a/test_sdk.sh b/test_sdk.sh index 061bff0..96019e8 100644 --- a/test_sdk.sh +++ b/test_sdk.sh @@ -1,4 +1,4 @@ -docker build . --tag pico-sdk +docker build . --tag lukstep/raspberry-pi-pico-sdk:latest docker run -d -it --name pico-sdk --mount type=bind,source=${PWD}/test_poject,target=/home/dev pico-sdk docker exec pico-sdk /bin/sh -c "cd /home/dev && mkdir build && cd build && cmake .. && make -j4" docker exec pico-sdk /bin/sh -c "picotool"