Display error if wget doesn't support SNI (#60)

This commit is contained in:
Yamashita Yuu 2014-02-06 11:50:11 +09:00
parent cc967fddb7
commit 62f9b7a731

View file

@ -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"