Add PHP GMP Extention

[amjad1233]

Hi,

I am sure someone has done this before.

How would I add php7.1-gmp extention to cli ?

I tried searching using apt-cache searc php-gmp but nothing came up.

Regards, Amjad

[lmakarov]

Being one of the PHP core extensions, gmp can be installed like this:

sudo docker-php-ext-install gmp

Check:

docker@cli:/var/www$ php -i | grep gmp
/usr/local/etc/php/conf.d/docker-php-ext-gmp.ini,
gmp
gmp support => enabled

Note: this approach is specific to the official PHP Docker images and all images derived from them, like docksal/cli

Docs: https://docs.docker.com/samples/library/php/#php-core-extensions

[amjad-wp]

Wow. That works perfect.

You're a champion.

Today I learned something new. https://docs.docker.com/samples/library/php/#php-core-extensions

[mowens3]

sudo -E docker-php-ext-install gmp

on latest version

[ivnish]

Thank you mowens3!