On UBUNTU you can install GMP via

$ sudo apt-get install libgmp-dev