J'ai une version php de 7.1.1
, et le phpize
que j'ai installé en suivant les instructions de https://xdebug.org/wizard.php est comme ça,
Configuring for:
PHP Api Version: 20151012
Zend Module Api No: 20151012
Zend Extension Api No: 320151012
quand j'ai cherché à ce sujet, c'est pour php 7.0
Y a-t-il un moyen de changer cela? J'ai suivi cette instruction https://xdebug.org/docs/faq#custom-phpize mais ne fonctionne toujours pas.
Dans mon cas
php -v
a montré la version 7.2
, et
php-config --version
a montré la version 7.0
Mon solution était d'exécuter:
Sudo apt-get install php7.2-dev
de sorte que les versions correspondent
Et maintenant, en cours d'exécution php-config --version
affiche 7.2
correctement
Et courir phpize
montre:
Configuring for:
PHP Api Version: 20170718
Zend Module Api No: 20170718
(changé de 20151012
en 20170718
)
Dans Ubuntu 16 Vagrant, plusieurs versions de PHP sont installées et PHP7.1 est installé par défaut. J'ai lancé les commandes suivantes:
Sudo update-alternatives --set phpize /usr/bin/phpize5.6
Sudo update-alternatives --set php /usr/bin/php5.6
Sudo update-alternatives --set php-config /usr/bin/php-config5.6
J'ai trouvé qu'exécuter la version spécifique de phpize et php-config qui correspond à la version de php (7.2) résolvait mes problèmes de compilation:
$ /opt/cpanel/ea-php72/root/usr/bin/phpize
$ ./configure --enable-shared --with-php-config=/opt/cpanel/ea-php72/root/usr/bin/php-config