RaspberryPiPicoSDKのビルド環境をDocker＋Jenkinsで構築する

やりたいこと

RaspberryPiPicoSDKを使ったプログラムをビルドする環境をDockerコンテナに構築して、Jenkinsからビルドできるようにする。

手順

DockerコンテナでPicoのビルド環境を準備する

DockerコンテナにJenkinsを構築する

Dockerコンテナにgitサーバーを構築する

Dockerコンテナにsambaを構築する

コンテナ間で通信できるようにネットワークを設定する

Jenkinsをインストールしたコンテナでssh-keyを生成する

ssh-keygen -t rsa -b 4096

公開鍵はgitをインストールしたコンテナに登録しておく。

Jenkinsに秘密鍵を設定する

Jenkinsの管理　→　Manage Credentials

• スコープ：　グローバル
• ID：　jenkins
• 説明：　/data/app/root/jenkins/.ssh/id_rsa
• ユーザー名：　jenkins
• 秘密鍵：　直接入力

Jenkinsの環境変数を設定する

Jenkinsの管理　→　システム設定　→ 環境変数

• PICO_SDK_PATH
  • /data/app/root/pico-sdk
• SHARE_PATH
  • /data/share/root

PICO_SDK_PATHはPICOのビルド用。
SHARE_PATHは成果物を配置する場所。

ジョブを作成する

新規ジョブ作成

• 名前：　pico-playground-master
• 説明：　Playground
• ソースコード管理：　git
  • ssh://pi@sshgitcont01:2222/data/app/root/repos/playground.git
  • 認証情報：　jenkins
• シェル実行
  • ./build.sh
• 成果物を保存
  • build/*.uf2

build.sh

build.sh

#!/bin/bash

set -xe

echo start build: $WORKSPACE
cd $WORKSPACE
mkdir -p build
cd build
rm -rf ./*
cmake ../src
make -j4
cp *.uf2 $SHARE_PATH/$JOB_NAME/
echo end build: $WORKSPACE

main.uf2が/data/share/rootに配置されます。このディレクトリはホストのディレクトリがマウントされています。
さらに、このディレクトリはSambaコンテナにもマウントされており、Samba共有ディレクトリを母艦PCから参照することで成果物をダウンロードすることができます。
一々、Jenkinsからダウンロードボタンを押してダウンロードしてくるよりこっちの方が楽かも。