diff options
author | Leah Rowe <vimuser@noreply.codeberg.org> | 2023-09-08 21:02:04 +0000 |
---|---|---|
committer | Leah Rowe <vimuser@noreply.codeberg.org> | 2023-09-08 21:02:04 +0000 |
commit | 4a459b0217c45a9dbd761793b040be67502c4d7e (patch) | |
tree | 5fa43f7a41ba095d71dd87c5b60fa1d6e32a454a /script/build/rp2040 | |
parent | 7e8465bec86805e5d6d67d348d811a09243d3b9c (diff) | |
parent | 7b6fb958977f5d5f3f2c3ac91726efa7d72860f0 (diff) |
Merge pull request 'pico-serprog improvements' (#128) from Riku_V/lbmk:master into master
Reviewed-on: https://codeberg.org/libreboot/lbmk/pulls/128
Diffstat (limited to 'script/build/rp2040')
-rwxr-xr-x | script/build/rp2040/serprog | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/script/build/rp2040/serprog b/script/build/rp2040/serprog new file mode 100755 index 00000000..e265cc7a --- /dev/null +++ b/script/build/rp2040/serprog @@ -0,0 +1,64 @@ +#!/usr/bin/env sh + +# compile the serprog firmware for raspberry pi pico +# +# Copyright (C) 2023 Riku Viitanen <riku.viitanen@protonmail.com> +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. +# + +[ "x${DEBUG+set}" = 'xset' ] && set -v +set -u -e + +. "include/err.sh" + +serprog_release_dir=$(pwd)/bin/serprog_rp2040 +sdk_dir=$(pwd)/util-fw/rp2040/pico-sdk +src_dir=$(pwd)/util-fw/rp2040/pico-serprog + +main() +{ + printf "Compiling serprog firmware for Raspberry Pi Pico\n" + + [ -d "${src_dir}/" ] || ./update project repo rpi-pico-serprog \ + || err "fetch rpi-pico-serprog failed!\n" + mkdir -p "${serprog_release_dir}" || \ + err "can't create dir: ${serprog_release_dir}" + + boards_dir=${sdk_dir}/src/boards/include/boards + + if [ $# -gt 0 ] ; then + buildrom "${1}" + else + basename -a -s .h ${boards_dir}/*.h | while read board ; do + [ "${board}" = "none" ] || buildrom ${board} + done + fi +} + +# buildrom <board> +buildrom() +{ + board=${1} + (cd ${src_dir}; cmake -DPICO_BOARD="${board}" \ + -DPICO_SDK_PATH="${sdk_dir}" "${src_dir}" || \ + err "can't cmake ${src_dir}") + make -C ${src_dir} clean + make -C ${src_dir} + mv ${src_dir}/pico_serprog.uf2 \ + ${serprog_release_dir}/serprog_${board}.uf2 \ + || err "${board} serprog build failed!" +} + +main $@ |