[#1] sean at crazyhorsecoding dot com [2013-12-28 20:45:22]

on Ubuntu Server:

sudo apt-get install libgmp-dev
sudo apt-get install php5-gmp
sudo service apache2 reload

[#2] omagaldadze at yahoo dot com [2013-05-04 09:41:44]

On ArchLinux php 5.4.14-1 I had to uncomment the line 

extension=gmp.so

in /etc/php/php.ini file. 

Probably, restart of web server (e.g. Apache) is required if working from web.

[#3] mike dot mackintosh at angrystatic dot com [2013-04-01 15:07:31]

On Debian platforms, make sure you install the gmp development library first:

    sudo apt-get install libgmp-dev

Just like other extensions, you need the libs installed before php compile will gracefully complete.

[#4] admin at ee-dd dot com [2011-10-03 21:18:32]

on ubuntu you can get it from Synaptic Package Manager
just search words "gmp",you'll find it.

[#5] MiquelFire [2009-08-24 12:40:46]

With PHP 5.3 on Windows, you need to use the VC9 build, otherwise you will not have the dll to enable GMP

[#6] Chris [2009-03-02 11:49:39]

Under Windows you will need to uncomment the line

;extension=php_gmp.dll

within the php.ini and restart Apache.

[#7] arancaytar dot ilyaran at gmail dot com [2008-12-30 23:48:00]

Note that this parameter requires a path, as in --with-gmp=DIR, if gmp is installed in a non-standard location, which is almost always the case when you are building your own PHP installation in your home directory.

Obvious, but it's an easy mistake.