phpgmp

How to install GMP extension for PHP

I was getting the following error when trying to run composer update on a SimpleSAML project.

- openid/php-openid dev-master requires ext-gmp * -> the requested PHP extension gmp is missing from your system.

Running sudo apt-get install php5-gmp did not work and neither did sudo apt-get install php7-gmp

Solution

  • To install GMP for PHP7.0 on Ubuntu, run: sudo apt-get install php7.0-gmp

    Make sure your php.ini contains the following: extension=php_gmp.so

    To find out where your php.ini is located, run: php --ini