Você pode instalar o gmp usando o seguinte comando.
sudo apt-get install libgmp3-dev
Além disso, confira este post .
Eu sei que deveria estar no formato "sudo apt-get install". Mas qual deve ser o nome da biblioteca? E depois de instalar, como verificar se foi instalado corretamente.