fix build with rp2040

hathach · Aug 13, 2024 · 8db17b5 · 8db17b5
1 parent d71d60a
commit 8db17b5
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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: