To build gmp

  1. download gmp source http://gmplib.org/#DOWNLOAD

  2. unzip it
  3. download port by Brian Gladman http://fp.gladman.plus.com/computing/gmp4win.htm

  4. place the port inside the unziped gmp source folder, replacing all the files with the same name, thus merging the folders
  5. open build.vc9
  6. open gmp.sln, ignore the warnings and errors
  7. hit f5
  8. there should be a gmp.dll in .../build.vc9/dll/Win32/Debug/ and a gmp.lib in .../build.vc9/lib/Win32/Debug/

Issues: No know issues exists.