Install the missing library to solve the problem.

sudo apt-get install libgmp3-dev