heads/bin
Jonathon Hall 3a93b30d5b
Makefile: Support mirrors for dependency source packages
Try to download dependency source packages from mirrors if the primary
source fails or the archive has changed.

Move the download and verify logic to bin/fetch_source_archive.sh.  The
mirror list is here, currently only
https://storage.puri.sm/heads-packages/, but others can be added.  The
mirror list is randomized to load each mirror equally.

The verify logic is moved to this script too so it can fail over to a
mirror (or another mirror) if a mismatched archive is served, not just
for a failure.  Makefile no longer needs to verify separately and there
are no separate .*-_verify files any more, the archive is only moved to
its final place once verified.

Add `packages` target to just fetch all needed packages for a board,
facilitates seeding a mirror.

Signed-off-by: Jonathon Hall <jonathon.hall@puri.sm>
2024-01-05 12:49:36 -05:00
..
cpio-clean clean all cpio files and ensure that they are all padded 2018-03-15 11:46:42 -04:00
fetch_source_archive.sh Makefile: Support mirrors for dependency source packages 2024-01-05 12:49:36 -05:00
inject_gpg_key.sh build: Allow injecting GPG key at build time 2022-08-24 13:04:06 -04:00
verity-sign move tools into bin/ directory 2018-01-19 14:17:26 -05:00