1 files changed, 39 insertions, 0 deletions
diff --git a/util/meson_aux/libstdcxx-tag.sh b/util/meson_aux/libstdcxx-tag.sh
new file mode 100755
index 0000000..73354a8
--- /dev/null
+++ b/util/meson_aux/libstdcxx-tag.sh
@@ -0,0 +1,39 @@
+#!/bin/bash -e
+
+# External command, intended to be called with custom_target() in meson.build
+
+# libstdcxx-tag.sh <use_network> <curl-or-wget> <srcdir> <output_path>
+
+output_dirname="$(dirname "$4")"
+output_filename="$(basename "$4")"
+
+# 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