无法启用ext-gmp

Question

So I've been trying to enable gmp on my macbook pro, but upto no avail.

Here's what I've done till now.

1. Uncommented extension=php_gmp.dll in /private/etc/php.ini
2. Uncommented extension=php_gmp.dll in /usr/local/php5/lib/php.ini (coonfiguration file as displayed in phpinfo() )
3. phpinfo() says gmp is enabled, but when I do php -m, it doesnt shows gmp.

What must I do?

Answer 1

If I get you right in your third point, you arr probably only editing the php.ini for web server usage and not the one to be used for CLI? You can find that second ini file through php -i | grep ini