Added scripts

Author: 32bitmicro

build-gcc.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+export PICO_PLATFORM=rp2040
+export PICO_COMPILER=pico_arm_gcc
+export PICO_SDK_PATH=/workspaces/pico-projects/pico-sdk
+mkdir build 
+cmake -S . -B build -DPICO_COMPILER=$PICO_COMPILER
+cmake --build build
+
+

build.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+export PICO_PLATFORM=rp2040
+export PICO_COMPILER=pico_etool_clang
+export PICO_SDK_PATH=/workspaces/pico-projects/pico-sdk
+export PICO_TOOLCHAIN_PATH=/opt/LLVM-ETOOL
+mkdir build 
+cmake -S . -B build -DPICO_COMPILER=$PICO_COMPILER -DCMAKE_SYSROOT=$PICO_TOOLCHAIN_PATH/lib/clang-runtimes/arm-none-eabi/armv6m_soft_nofp
+cmake --build build
+
+

checkout.sh

@@ -0,0 +1,5 @@
+#!/bin/bash
+git clone https://github.com/PicoNexus/pico-sdk.git
+cd pico-sdk
+git submodule update --init
+

clean.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+rm -fr build 
+
+