From 264510c2eb4bedd7a5269fd07831fdd49b3ddc8b Mon Sep 17 00:00:00 2001
From: hansieodendaal <hansie.odendaal@gmail.com>
Date: Thu, 8 Jan 2026 12:08:11 +0200
Subject: [PATCH] Allow older Ubuntu versions

---
 scripts/setup/setup-nomos-circuits.sh | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/scripts/setup/setup-nomos-circuits.sh b/scripts/setup/setup-nomos-circuits.sh
index 1098fe9..7abc554 100755
--- a/scripts/setup/setup-nomos-circuits.sh
+++ b/scripts/setup/setup-nomos-circuits.sh
@@ -119,7 +119,16 @@ setup_nomos_circuits::download_release() {
   setup_nomos_circuits::print_info "Downloading nomos-circuits ${VERSION} for ${platform}..."
   setup_nomos_circuits::print_info "URL: ${url}"
 
-  local -a curl_args=(curl -fL --retry "${CURL_RETRY_COUNT}" --retry-delay "${CURL_RETRY_DELAY_SECONDS}" --retry-all-errors)
+  local -a curl_args=(
+    curl
+    -fL
+    --retry "${CURL_RETRY_COUNT}"
+    --retry-delay "${CURL_RETRY_DELAY_SECONDS}"
+  )
+  if curl --help 2>/dev/null | grep -q -- '--retry-all-errors'; then
+    curl_args+=(--retry-all-errors)
+  fi
+
   if [ -n "${GITHUB_TOKEN:-}" ]; then
     curl_args+=(--header "authorization: Bearer ${GITHUB_TOKEN}")
   fi