[PATCH] download_prerequisites: Add option --proxy

[PATCH] download_prerequisites: Add option --proxy

[Mert Kirpici]

The script contrib/download_prerequisites now accepts the command line
argument '--proxy'. Which instructs the fetcher program to use the
specified proxy.

Signed-off-by: Mert Kirpici <mert.kirpici@protonmail.ch>
---
contrib/download_prerequisites | 23 ++++++++++++++++++-----
1 file changed, 18 insertions(+), 5 deletions(-)

diff --git a/contrib/download_prerequisites b/contrib/download_prerequisites
index 7d0c4b5ea8d..4a297f29dd2 100755
--- a/contrib/download_prerequisites
+++ b/contrib/download_prerequisites
@@ -58,11 +58,6 @@ case $OS in
;;
esac

-if type wget > /dev/null ; then
- fetch='wget'
-else
- fetch='curl -LO'
-fi
chksum_extension='sha512'
directory='.'

@@ -74,6 +69,7 @@ GCC source tree and the GCC build will do the right thing.
The following options are available:

--directory=DIR download and unpack packages into DIR instead of '.'
+ --proxy=URL download via specified http proxy server URL
--force download again overwriting existing packages
--no-force do not download existing packages again (default)
--isl download ISL, needed for Graphite loop optimizations (default)
@@ -143,6 +139,12 @@ do
--directory=*)
directory="${arg#--directory=}"
;;
+ --proxy=*)
+ proxy="${arg#--proxy=}"
+ ;;
+ --proxy)
+ argnext='proxy'
+ ;;
--force)
force=1
;;
@@ -202,6 +204,9 @@ do
directory)
directory="${arg}"
;;
+ proxy)
+ proxy="${arg}"
+ ;;
*)
die "The impossible has happened"
;;
@@ -218,6 +223,14 @@ unset arg argnext
[ -d "${directory}" ] \
|| die "No such directory: ${directory}"

+if type wget > /dev/null ; then
+ fetch='wget'
+ [ -z "${proxy}" ] || fetch="${fetch} -e use_proxy=on -e http_proxy=${proxy}"
+else
+ fetch='curl -LO'
+ [ -z "${proxy}" ] || fetch="${fetch} --proxy ${proxy}"
+fi
+
for ar in $(echo_archives)
do
if [ ${force} -gt 0 ]; then rm -f "${directory}/${ar}"; fi
--
2.20.1