From 62f9b7a731d8a019352bfcc465a1a13ab8a35cc5 Mon Sep 17 00:00:00 2001
From: Yamashita Yuu <yamashita@geishatokyo.com>
Date: Thu, 6 Feb 2014 11:50:11 +0900
Subject: [PATCH] Display error if wget doesn't support SNI (#60)

---
 plugins/python-build/bin/python-build | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/plugins/python-build/bin/python-build b/plugins/python-build/bin/python-build
index 0e69dc30..4719b13b 100755
--- a/plugins/python-build/bin/python-build
+++ b/plugins/python-build/bin/python-build
@@ -924,7 +924,7 @@ require_clang() {
   fi
  
   export CC="$clang"
-} 
+}
 
 require_java() {
   local java="$(command -v java || true)"
@@ -1393,6 +1393,11 @@ if [[ "$PYTHON_CONFIGURE_OPTS" == *"--enable-framework"* ]]; then
   package_option python configure --enable-framework="${PREFIX_PATH}"
 fi
 
+if ! command -v curl 2>/dev/null && [[ "$(wget --version 2>/dev/null || true)" = "GNU Wget 1.1"[0-3]* ]]; then
+  echo "python-build: wget (< 1.14) doesn't support Server Name Indication. Please install curl (>= 7.18.1) and try again" >&2
+  exit 1
+fi
+
 SEED="$(date "+%Y%m%d%H%M%S").$$"
 LOG_PATH="${TMP}/python-build.${SEED}.log"
 PYTHON_BIN="${PREFIX_PATH}/bin/python"