php 添加gmp扩展

# 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