Download gmp
from here.
wget https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz
unxz gmp-6.2.1.tar.xz
tar xzvf gmp-6.2.1.tar
cd gmp-6.2.1
./configure
make
sudo make install
it should be installed under /usr/local/
.
The debian way: Enable the sources repositories under your /etc/apt/sources.list.d/
then install apt-src
to easily build the package:
sudo apt update
sudo apt install apt-src
apt-src update
apt-src install gmp
apt-src build gmp
Next step install the *.deb
file through apt
, dpkg
or gdebi
.
Why building gmp
?: because only the source package is available on debian/ubuntu derivatives (Source Package: gmp (2:6.1.2+dfsg-2) )
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…