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"