Как установить расширение GMP для PHP ⇐ Php

[Anonymous]

Я получал следующую ошибку при попытке запустить обновление композитора < /code> в проекте SimplesAML. < /p>

Код: Выделить всё

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

Запуск sudo apt-get install php5-gmp не сработал, как и Sudo apt-get установил php7-gmp

Подробнее здесь: https://stackoverflow.com/questions/400 ... on-for-php