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 all.
Instalação
Para ter estas funções disponíveis, o PHP deve ser compilado com suporte a GMP usando a opção de configuração --with-gmp.
add a note
User Contributed Notes 11 notes
Elydreams Trend ¶
3 years ago
arancaytar dot ilyaran at gmail dot com ¶
15 years ago
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.
sean at crazyhorsecoding dot com ¶
10 years ago
on Ubuntu Server:
sudo apt-get install libgmp-dev
sudo apt-get install php5-gmp
sudo service apache2 reload
omagaldadze at yahoo dot com ¶
11 years ago
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.
oharry0535 at gmail dot com ¶
5 years ago
Under Windows you will need to un-comment the line in your php.ini file
;extension=gmp
within the php.ini and restart Apache.
Chris ¶
15 years ago
Under Windows you will need to uncomment the line
;extension=php_gmp.dll
within the php.ini and restart Apache.
MiquelFire ¶
15 years ago
With PHP 5.3 on Windows, you need to use the VC9 build, otherwise you will not have the dll to enable GMP
mike dot mackintosh at angrystatic dot com ¶
11 years ago
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.
admin at ee-dd dot com ¶
13 years ago
on ubuntu you can get it from Synaptic Package Manager
just search words "gmp",you'll find it.
