Install gmp by running the following commands: ./configure --prefix=/usr --infodir=/usr/share/info --mandir=/usr/share/man && make && make install