#!/bin/sh
export PICO_SDK_PATH=/home/thomas/Software/rpi-pico/pico-sdk
mkdir -p build
cd build
cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=1 ..
make $@