The GMP library can be downloaded from » http://gmplib.org/#DOWNLOAD. This site also has the GMP manual available.
At least GMP version 4.2 is required, with some functions requiring a more recent version of the GMP library.
On Windows, MPIR is required instead of GMP.