Чтобы установить GMP на mingw32 (с переустановкой mingw для обновления, поскольку mingw-get не может обновить):
Удалить (переместить в другой каталог; заархивировать или сделать другую резервную копию) установки mingw32.
Переустановите mingw32 с сайта (он будет новее).
Выполните команды из msys:
mingw-get install mingw32-gmp
mingw-get install mingw32-gmp-dev
Наслаждайтесь.
PS: если это не такт работает;do
mingw-get install mingw32-gmp-dev
mingw-get install mingw32-libgmp
Найти загруженные файлы с расширением * .lzma (они будут как в подкаталогах mingw, так и во временных интернет-файлах браузера IE)
Распаковать их вручную в основной каталог mingw.