From 6de12d402f698309f729302fd03e66c18d6b35ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Eduardo=20S=C3=A1nchez=20Mu=C3=B1oz?= <eduardosm-dev@e64.io>
Date: Sun, 27 Nov 2022 20:51:52 +0100
Subject: [PATCH] Add script to download sysa and sysc distfiles without Python

---
 README.rst            |  1 +
 download-distfiles.sh | 40 ++++++++++++++++++++++++++++++++++++++++
 2 files changed, 41 insertions(+)
 create mode 100755 download-distfiles.sh

diff --git a/README.rst b/README.rst
index 36c47d4..39cf501 100644
--- a/README.rst
+++ b/README.rst
@@ -167,6 +167,7 @@ repository is almost completely in a form where it can be used as the
 source of a build.
 
 1. Download required tarballs into ``sysa/distfiles`` and ``sysc/distfiles``.
+   You can use the ``download-distfiles.sh`` script.
 2. Copy sysa/stage0-posix/src/* to the root of the repository.
 3. Copy sysa/stage0-posix/src/bootstrap-seeds/POSIX/x86/kaem-optional-seed
    to init in the root of the repository.
diff --git a/download-distfiles.sh b/download-distfiles.sh
new file mode 100755
index 0000000..dcf4d11
--- /dev/null
+++ b/download-distfiles.sh
@@ -0,0 +1,40 @@
+#!/bin/sh
+
+download_source() {
+    local distfiles="${1}"
+    local url="${2}"
+    local checksum="${3}"
+    local fname="${4}"
+    # Default to basename of url if not given
+    fname="${fname:-$(basename "${url}")}"
+
+    local dest_path="${distfiles}/${fname}"
+    if ! [ -e "${dest_path}" ]; then
+        echo "Downloading ${fname}"
+        curl -L "${url}" --output "${dest_path}"
+    fi
+    echo "${checksum}  ${dest_path}" | sha256sum -c
+}
+
+download_for_sys() {
+    local sysdir="${1}"
+    local distfiles="${sysdir}/distfiles"
+
+    mkdir -p "${distfiles}"
+
+    local entry
+    for entry in "${sysdir}"/*; do
+        [ -e "${entry}/sources" ] || continue
+
+        local line
+        while read line; do
+            # This is intentional - we want to split out ${line} into separate arguments.
+            download_source "${distfiles}" ${line}
+        done < "${entry}/sources"
+    done
+}
+
+set -e
+cd "$(dirname "$(readlink -f "$0")")"
+download_for_sys sysa
+download_for_sys sysc