To install GMP on mingw32 (with reinstalling mingw to upgrade, since mingw-get cannot upgrade):
Delete (go to another archive, do another backup), install mingw32.
Reinstall mingw32 from the site (it will be newer).
Run commands from msys:
mingw-get install mingw32-gmp mingw-get install mingw32-gmp-dev
Enjoy.
PS: if it does not work; do
mingw-get install mingw32-gmp-dev mingw-get install mingw32-libgmp
Find downloaded files with * .lzma extension (they will be in both mingw subfields and IE browser temporary Internet files)
Unzip them manually into the main mingw file.
source share