# SPDX-License-Identifier: GPL-3.0-or-later

fetch_depend="pico-sdk/default"

url="https://codeberg.org/libreboot/pico-serprog"
bkup_url="https://git.disroot.org/libreboot/pico-serprog"

rev="3ea792664ed29ca1ff3e2e78d1d16099684781bd"

tree="default"

sersrc="src/pico-serprog/$tree"
serx="$sersrc/build/pico_serprog.uf2"
picosdk="src/pico-sdk/$tree"
serdir="$picosdk/src/boards/include/boards"
premake="$if_not_dry_build eval fx_ \"buildser pico\" x_ basename -as .h \"\$serdir/\"*.h"

noconfig="y"