From 79372ced2f134cfe8a482d4a4e649bc5d6296449 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Thu, 18 Aug 2022 23:21:42 +0200
Subject: [PATCH] Just install the SDK in the workflow

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 workflows/autobuild.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/workflows/autobuild.sh b/workflows/autobuild.sh
index bcd8c1f..9fb99bd 100755
--- a/workflows/autobuild.sh
+++ b/workflows/autobuild.sh
@@ -1,3 +1,8 @@
 #!/bin/bash
 
-bash <(curl -s https://raw.githubusercontent.com/raspberrypi/pico-setup/master/pico_setup.sh)
+apt install cmake gcc-arm-none-eabi libnewlib-arm-none-eabi libstdc++-arm-none-eabi-newlib
+git clone https://github.com/raspberrypi/pico-sdk
+mkdir build
+cd build
+cmake .. -DDPICO_SDK_PATH=../pico-sdk
+make