star-build

commit 2a739c5e27df46de997711fc972ea21f1aedd278
parent 269b5be53b08b8880c5e12e3e43972d012da9da1
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Wed, 29 May 2024 13:56:21 +0200

CURL_OPT configuration macro added

It defines the options to be passed to curl when downloading archives of
precompiled binaries and their digests. Users can now modify these
options to try and get around download problems. For example, by adding
the --insecure option to work around an error during certificate
verification.

Diffstat:
M
config.mk
 | 
4
++++
M
src/spkg.mk.in
 | 
4
++--

2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/config.mk b/config.mk
@@ -35,6 +35,10 @@ LIB_TYPE = SHARED
 # resources are downloaded and sources compiled before installation.
 CACHE = ./cache
 
+# Options passed to the curl(1) program. It is used in particular to
+# download archives of precompiled binaries.
+CURL_OPT = --fail --retry 3
+
 # List of repositories
 REPO = https://gitlab.com/meso-star
 REPO_BIN = https://www.meso-star.com/packages/v0.4/
diff --git a/src/spkg.mk.in b/src/spkg.mk.in
@@ -16,10 +16,10 @@
 	fi
 
 $(CACHE)/@ARCH@.tgz:
-	curl --fail --retry 3 -o $@ "@PATH@/@ARCH@.tgz"
+	curl $(CURL_OPT) -o $@ "@PATH@/@ARCH@.tgz"
 
 $(CACHE)/@ARCH@.sha512sum:
-	curl --fail --retry 3 -o $@ "@PATH@/@ARCH@.sha512sum"
+	curl $(CURL_OPT) -o $@ "@PATH@/@ARCH@.sha512sum"
 
 uninstall_@NAME@: prefix
 	if [ -f "$$(cat .prefix)/share/spkg/@NAME@.sh" ]; then \