Just install the SDK in the workflow

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos 2022-08-18 23:21:42 +02:00
parent 6fc91962bd
commit 79372ced2f
No known key found for this signature in database
GPG Key ID: C0095B7870A4CCD3

View File

@ -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