Add picosdk to dockerfile

This commit is contained in:
Matt Mets 2023-03-08 16:39:35 +01:00 committed by Michael Cardell Widerkrantz
parent df6f66c064
commit 8894eb4247
No known key found for this signature in database
GPG Key ID: D3DB3DDF57E704E5

View File

@ -40,6 +40,10 @@ RUN apt-get -qq update -y \
vim \
xdot \
sdcc \
cmake \
gcc-arm-none-eabi \
libnewlib-arm-none-eabi \
libstdc++-arm-none-eabi-newlib
&& rm -rf /var/lib/apt/lists/*
@ -85,6 +89,13 @@ RUN git >/usr/local/repo-commit-nextpnr describe --tags --always --dirty
WORKDIR /
RUN rm -rf /src
RUN git clone https://github.com/raspberrypi/pico-sdk.git /usr/local/picosdk
WORKDIR /usr/local/picosdk
RUN git checkout 1.5.0 \
&& git submodule-update --init
RUN git >/usr/local/repo-commit-picosdk describe --tags --always --dirty
WORKDIR /
FROM base
LABEL org.opencontainers.image.description="Toolchain for building TKey FPGA bitstream, firmware, apps"