#!/bin/bash dir=$(pwd) echo $dir cd $dir rm -rf gmp-6.1.2.tar.xz gmp-6.1.2 wget https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz tar xvf gmp-6.1.2.tar.xz cd gmp-6.1.2 ./configure --disable-shared --enable-static --prefix=$dir/extern make && make install echo "----------------gmp-6.1.2 over------------------"
原文：https://www.cnblogs.com/yuandaozhe/p/10127547.html