From 8894eb424752a2be8bea54407edb718a45631c22 Mon Sep 17 00:00:00 2001
From: Matt Mets <matt@blinkinlabs.com>
Date: Wed, 8 Mar 2023 16:39:35 +0100
Subject: [PATCH] Add picosdk to dockerfile

---
 contrib/Dockerfile | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/contrib/Dockerfile b/contrib/Dockerfile
index 329a588..e6d018d 100644
--- a/contrib/Dockerfile
+++ b/contrib/Dockerfile
@@ -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"