# yum -y install gmp-devel
# 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
添加到php.ini
extension=gmp.so
# yum -y install gmp-devel
# 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
添加到php.ini
extension=gmp.so