# HG changeset patch
# User wenzelm
# Date 1633964675 -7200
# Node ID 059743bc8311847f798de917e2876e8b959e8475
# Parent  27475e64a8871389a4fe7d0bb304d8a616b67ef6
workaround for old macOS versions, after change of Let's Encrypt root certificate --- see also https://letsencrypt.org/docs/dst-root-ca-x3-expiration-september-2021 --- Java/Scala Isabelle_System.download() works, but curl doens't;

diff -r 27475e64a887 -r 059743bc8311 lib/Tools/components
--- a/lib/Tools/components	Mon Oct 11 06:32:09 2021 +0000
+++ b/lib/Tools/components	Mon Oct 11 17:04:35 2021 +0200
@@ -148,7 +148,16 @@
         type -p curl > /dev/null || fail "Cannot download files: missing curl"
         echo "Getting \"$REMOTE\""
         mkdir -p "$(dirname "$FULL_NAME")"
-        if curl --fail --silent --location "$REMOTE" > "${FULL_NAME}.tar.gz.part"
+
+        CURL_OPTIONS="--fail --silent --location"
+        if [ "$ISABELLE_PLATFORM_FAMILY" = "macos" ]; then
+          case $(sw_vers -productVersion) in
+            10.*)
+              CURL_OPTIONS="$CURL_OPTIONS --insecure"
+              ;;
+          esac
+        fi
+        if curl $CURL_OPTIONS "$REMOTE" > "${FULL_NAME}.tar.gz.part"
         then
           mv -f "${FULL_NAME}.tar.gz.part" "${FULL_NAME}.tar.gz"
         else