From 8db17b522ea479d670f2f217a686846e41892c6b Mon Sep 17 00:00:00 2001
From: hathach <thach@tinyusb.org>
Date: Tue, 13 Aug 2024 19:51:18 +0700
Subject: [PATCH] fix build with rp2040

---
 .circleci/config2.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.circleci/config2.yml b/.circleci/config2.yml
index 470a5dba84..d5d17bced8 100644
--- a/.circleci/config2.yml
+++ b/.circleci/config2.yml
@@ -33,6 +33,12 @@ commands:
           command: |
             python tools/get_deps.py << parameters.family >>
 
+            # Install Pico SDK
+            if [ << parameters.family >> == "rp2040" ]; then
+              git clone --depth 1 https://github.com/raspberrypi/pico-sdk.git ~/pico-sdk
+              echo "export PICO_SDK_PATH=~/pico-sdk" >> $BASH_ENV
+            fi
+
 jobs:
   build:
     parameters: