Installation of gmp
Before installing gmp, you need to download
randraw.c.41.patch from and place it in
your source directory.
Install gmp by running the following commands:
patch -Np0 -i ../randraw.c.41.patch &&
./configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info &&
make &&
make install