Установщик MinGW не работает с прокси

Ситуация
Я хочу установить minGW и msys на рабочий ПК, но я за прокси. Настройки прокси настроены на автоматическое определение в Internet Explorer и Firefox. Прокси-сервер является http-прокси на порту 80, который требует аутентификации.
У меня также есть URL прокси и скрипт конфигурации .pac.
Система Windows 7 64 бит.

Проблема
Настройка MinGW не распознает настройки прокси и, следовательно, не может загрузить какие-либо пакеты для установки.

То, что я пробовал до сих пор,
я пытался изменить настройки прокси в настройках Интернета в Internet Explorer с автоматического определения на ручную настройку. Я также попытался запустить установщик через проксификатор. Оба не сработали.

Новый MSYS2 наконец-то имеет прокси-возможности

Теперь новый MSYS2 использует pacmanменеджер пакетов из проекта arch linux для управления пакетами msys и mingw. Pacman может использовать прокси-серверы, прошедшие аутентификацию (см. Эту статью в Arch Linux wiki для получения дополнительной информации).
Я добавил следующие строки в \msys64\etc\profile:

# proxy settings
export HTTP_PROXY="username:password@proxy.server.address:port"
export HTTPS_PROXY=$HTTP_PROXY
export http_proxy=$HTTP_PROXY
export https_proxy=$HTTP_PROXY

и теперь я могу наконец установить и обновить пакеты minGW и msys, используя pacman через прокси-сервер http (s), прошедший проверку подлинности.

Извините, но тот установщик на surceforge сейчас не совместим с прокси (12/02/2014).

РЕДАКТИРОВАТЬ:

В качестве хорошего обходного пути вы можете установить кодовые блоки для Windows: он поставляется с прилагаемым рабочим пакетом MinGW или вы можете использовать его

http://sourceforge.net/projects/mingwbundle/

Один вариант, который работал для меня, это использовать TDM-GCC

• Загрузите установщик пакета, подходящий для вашей системы

• Вручную загрузите все отдельные пакеты и сохраните их в

  C:\TDM-GCC-64\__installer\downloaded
  

• Запустите TDM-GCCустановщик пакета, и он должен работать