Build server setup documentation

The auto build server is the cheapest available Ubuntu 22.04 instance at I followed these instructions, but substitute arm-gcc 10.3, which is what is included with the PICO SDK installer. These notes are so I can do it a bit faster next time…

Install git

sudo add-apt-repository -y ppa:git-core/ppa
sudo apt install -y git
git --version

Install CMake

sudo wget -qO /etc/apt/trusted.gpg.d/kitware-key.asc
echo "deb $(lsb_release -sc) main" | sudo tee /etc/apt/sources.list.d/kitware.list
sudo apt update
sudo apt install -y cmake
cmake --version

Install gcc-arm

curl -Lo gcc-arm-none-eabi.tar.bz2 ""
sudo mkdir /opt/gcc-arm-none-eabi
sudo tar xf gcc-arm-none-eabi.tar.bz2 --strip-components=1 -C /opt/gcc-arm-none-eabi
echo 'export PATH=$PATH:/opt/gcc-arm-none-eabi/bin' | sudo tee -a /etc/profile.d/
source /etc/profile
arm-none-eabi-gcc --version
arm-none-eabi-g++ --version
rm -rf gcc-arm-none-eabi.tar.bz2

Install pico sdk

sudo git clone /opt/pico-sdk
sudo git -C /opt/pico-sdk submodule update --init
echo 'export PICO_SDK_PATH=/opt/pico-sdk' | sudo tee -a /etc/profile.d/
source /etc/profile.d/

Install BP5

sudo git clone bp5-main
cd bp5-main
mkdir build
cd build
cmake ..

Install build script and webhook

cd ~
md webhook
pip install virtualenv
apt install python3.10-venv
python3.10 -m venv env
sudo apt install build-essential libssl-dev libffi-dev python3-dev
source env/bin/activate
pip3 install flask 
pip3 install github_webhook
pip3 install requests
sudo iptables -A INPUT -p tcp --dport 80 -j ACCEPT
sudo apt-get install iptables-persistent
1 Like