Répondre

1

je luttais avec le même problème. La solution consiste à installer php70-gmp et d'ajouter l'extension aux ini:

En any.config:

container_commands: 
    01_install_gmp: 
    cwd: /tmp 
    command: | 
     sudo yum install -y php70-gmp 
files: 
    /etc/php.d/z_project.ini: 
    mode: "000644" 
    owner: root 
    group: root 
    content: | 
     extension=gmp.so