wget https://gmplib.org/download/gmp/gmp-6.2.0.tar.xz xzcat gmp-6.2.0.tar.xz |tar xfv - cd gmp-6.2.0 ./configure make make install
[edit]