Je recevais l'erreur suivante en essayant d'exécuter composer update sur un projet SimpleSAML.Comment installer GMP sur PHP7 et Ubuntu
- openid/php-openid dev-master requires ext-gmp * -> the requested PHP extension gmp is missing from your system.
Courir sudo apt-get install php5-gmp ne fonctionnait pas et ne fait sudo apt-get install php7-gmp
Pour installer GMP sur PHP7 sur Ubuntu:
Run: sudo apt-get install php7.0-gmp
Et ajoutez ce qui suit à php.ini:
extension=php_gmp.so
Merci beaucoup, ça l'a réparé! –
après l'exécution de la commande et l'ajout de lignes dans le fichier php.ini, je n'obtiens pas le module gmp installé. –
apt-get install php7.1-gmp
C'est tout.
sur Ubuntu 16.04lts dit, impossible de trouver packege php7.1-gmp –
Pour PHP 7.2:
sudo apt-get install php7.2-gmp
Que signifie "ne fonctionne pas" signifie? Est-ce que apt-get a signalé une erreur (php7-gmp n'existe pas) ou l'a-t-il bien installé mais n'a pas aidé (php5-gmp n'est pas utilisé par php7)? La commande 'apt search php gmp' vous donne la liste des paquets pertinents, cela suggère que vous devriez installer php-gmp si vous utilisez la version par défaut de PHP, ou php7.0-gmp si vous voulez vraiment utilise PHP version 7.0. –
Oui. L'erreur était que le paquet n'existait pas. Oh 'apt search php gmp' aurait été une bonne chose à faire. – LXXIII