wget http://pecl.php.net/get/trader-0.5.1.tgz
yum -y install gmp-devel
tar xzf php-7.2.10.tar.gz # 下载和已安装版本相投的php
cd php-7.2.10/ext/gmp
/usr/local/php/bin/phpize
./configure --with-php-config=/usr/local/php/bin/php-config
make && make install
echo 'extension=gmp.so' > /usr/local/php72/etc/php.d/gmp.ini
# 重启PHP !!!!!!!!!!!!!!