From cca2cf9588e276284fd03711ab5d7eaf4ee9e6cc Mon Sep 17 00:00:00 2001 From: Kjell Ahlstedt Date: Fri, 31 May 2019 11:05:06 +0200 Subject: meson.build: Don't require curl or wget when use-network=false None of those commands is used when network access is disabled. --- util/meson_aux/libstdcxx-tag.sh | 64 ++++++++++++++++++++++------------------- 1 file changed, 34 insertions(+), 30 deletions(-) (limited to 'util') diff --git a/util/meson_aux/libstdcxx-tag.sh b/util/meson_aux/libstdcxx-tag.sh index 73354a8..9ac83f2 100755 --- a/util/meson_aux/libstdcxx-tag.sh +++ b/util/meson_aux/libstdcxx-tag.sh @@ -2,38 +2,42 @@ # External command, intended to be called with custom_target() in meson.build -# libstdcxx-tag.sh +# libstdcxx-tag.sh -output_dirname="$(dirname "$4")" -output_filename="$(basename "$4")" +output_dirname="$(dirname "$3")" +output_filename="$(basename "$3")" # Remote location of the GNU libstdc++ Doxygen tag file. libstdcxx_tag_url="http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/$output_filename" -if [ "$1" != "true" ]; then - if [ -f "$4" ]; then - echo "Did not check status of $4 because network is disabled." - elif [ -f "$3/$output_filename" ]; then - echo "Warning: $4 does not exist." - echo "Copying from the source directory because network is disabled." - echo "If you want an up-to-date copy, reconfigure with the -Duse-network=true option." - cp --preserve=timestamps "$3/$output_filename" "$4" - else - echo "Error: $4 does not exist." >&2 - echo "Downloading it is not possible because network is disabled." >&2 - echo "Please reconfigure with the -Duse-network=true option." >&2 - exit 1 - fi -elif [ "$2" = "curl" ]; then - # These options don't contain filenames, and thus no spaces that - # must be preserved in the call to curl. - simple_curl_options="--compressed --connect-timeout 300 --globoff --location --max-time 3600 --remote-time --retry 5" - if [ -f "$4" ]; then - curl $simple_curl_options --time-cond "$4" --output "$4" "$libstdcxx_tag_url" - else - curl $simple_curl_options --output "$4" "$libstdcxx_tag_url" - fi -else - wget --timestamping --no-directories --timeout=300 --tries=5 \ - --directory-prefix="$output_dirname" "$libstdcxx_tag_url" -fi +case "$1" in + curl) + # These options don't contain filenames, and thus no spaces that + # must be preserved in the call to curl. + simple_curl_options="--compressed --connect-timeout 300 --globoff --location --max-time 3600 --remote-time --retry 5" + if [ -f "$3" ]; then + curl $simple_curl_options --time-cond "$3" --output "$3" "$libstdcxx_tag_url" + else + curl $simple_curl_options --output "$3" "$libstdcxx_tag_url" + fi + ;; + wget) + wget --timestamping --no-directories --timeout=300 --tries=5 \ + --directory-prefix="$output_dirname" "$libstdcxx_tag_url" + ;; + *) + if [ -f "$3" ]; then + echo "Did not check status of $3 because network is disabled." + elif [ -f "$2/$output_filename" ]; then + echo "Warning: $3 does not exist." + echo "Copying from the source directory because network is disabled." + echo "If you want an up-to-date copy, reconfigure with the -Duse-network=true option." + cp --preserve=timestamps "$2/$output_filename" "$3" + else + echo "Error: $3 does not exist." >&2 + echo "Downloading it is not possible because network is disabled." >&2 + echo "Please reconfigure with the -Duse-network=true option." >&2 + exit 1 + fi + ;; +esac -- cgit v1.2.1