Installation of <application><acronym>GMP</acronym></application> Install GMP by running the following commands: ./configure --prefix=/usr --infodir=/usr/share/info --mandir=/usr/share/man && make && make install