已经安装好的环境，如果安装gmp扩展

yum -y install gmp-devel
cd ~/oneinstack/src
tar xzf php-7.2.10.tar.gz
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