Merge pull request 'rp2530' (#258) from Riku_V/lbmk:rp2530 into master

Reviewed-on: https://codeberg.org/libreboot/lbmk/pulls/258

config/git/pico-sdk/pkg.cfg

@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: GPL-3.0-or-later
 
-rev="6a7db34ff63345a7badec79ebea3aaef1712f374"
+rev="95ea6acad131124694cda1c162c52cd30e0aece0"
 url="https://codeberg.org/libreboot/pico-sdk"
 bkup_url="https://github.com/raspberrypi/pico-sdk"

config/git/pico-serprog/rp2040-serprog

@@ -0,0 +1 @@
+config/git/rp2040-serprog

include/rom.sh

@@ -11,7 +11,14 @@ mkserprog()
 	basename -as .h "$serdir/"*.h > "$TMPDIR/ser" || $err "!mk $1 $TMPDIR"
 
 	while read -r sertarget; do
-		[ "$1" = "rp2040" ] && x_ cmake -DPICO_BOARD="$sertarget" \
+		[ "$1" = "rp2040" ] &&
+		    x_ rm -rf "$sersrc/build" \
+		    && (pt=$(x_ grep "pico_cmake_set" \
+		          "$picosdk/src/boards/include/boards/$sertarget.h" \
+		        | grep "PICO_PLATFORM" | cut -d= -f2 | tr -d [:blank:])
+		        mkdir -p "$sersrc/build_$pt"
+			ln -srf "$sersrc/build_$pt/" "$sersrc/build") \
+		    && x_ cmake -DPICO_BOARD="$sertarget" \
 		    -DPICO_SDK_PATH="$picosdk" -B "$sersrc/build" "$sersrc" \
 		    && x_ cmake --build "$sersrc/build"
 		[ "$1" = "stm32" ] && x_ make -C "$sersrc" \