pecl installe pour la précédente version de php

Dans mon cas, j'ai été de tenter d'installer Gearman.

pecl install gearman de l'installer correctement.

php -i serait montrer:

PHP Extension => 20100525

Encore pecl et de l'installer à l'aide de:

PHP Api Version:         20090626

Après avoir changé mes paramètres de configuration à utiliser:

La Première Correction

sudo pecl config-set php_ini /etc/php.ini
sudo pecl config-set php_bin /usr/bin/php5

J'ai remarqué que je voudrais quand même

AVERTISSEMENT: php_bin /usr/bin/php5 semble avoir un suffixe 5, mais config
variable php_suffix ne correspond pas

Vous pouvez résoudre ce problème en utilisant le paramètre de configuration:

Correctif Supplémentaire

sudo pear config-set php_suffix 5

---

Pourquoi était-ce un problème?

Pour moi, j'ai eu ce problème parce que j'ai ajouté une coutume PPA et réinstallé PHP. Cela signifiait que ma précédente installation de php5-dev a été hors de la synchronisation.

Vous si vous vous trouvez dans la même situation, vous pourriez juste voulez exécuter..

apt-get remove php5-dev
pecl uninstall <extensionname>
apt-get install php5-dev
apt-get remove php5-pear
apt-get install php5-pear
pecl install <extensionname>

Alternativement, vous pouvez télécharger la source et exécutez la commande phpize.

Aucune des autres réponses (encore), semble avoir de multiples "co-installable" les versions de PHP en voulant construire une extension donnée de tout ce qui est installé sur les versions de PHP.

Pour illustrer le scénario dans lequel je me trouve (je suis en utilisant le Ondrej Surý PHP Ppa pour Ubuntu 16.04 LTS):

root@localhost:~# ls -lah /usr/bin/*php*
-rwxr-xr-x  1 root   root     11K Apr 19 12:50 dh_php
-rwxr-xr-x  1 root   root    3.1K Apr  5  2016 dh_phpcomposer
-rwxr-xr-x  1 root   root    5.4K Apr  5  2016 dh_phppear
lrwxrwxrwx  1 root   root      21 Jul 24 00:44 php -> /etc/alternatives/php
-rwxr-xr-x  1 root   root    4.3M Jul  6 10:04 php5.6
-rwxr-xr-x  1 root   root    4.3M Jul  6 10:04 php7.0
-rwxr-xr-x  1 root   root    4.4M Aug  4 14:22 php7.1
lrwxrwxrwx  1 root   root      28 Jul 24 00:44 php-config -> /etc/alternatives/php-config
-rwxr-xr-x  1 root   root    4.3K Jul  6 10:03 php-config5.6
-rwxr-xr-x  1 root   root    4.1K Jul  6 10:03 php-config7.0
-rwxr-xr-x  1 root   root    4.1K Aug  4 14:21 php-config7.1
lrwxrwxrwx  1 root   root      24 Jul 24 00:44 phpize -> /etc/alternatives/phpize
-rwxr-xr-x  1 root   root    4.7K Jul  6 10:03 phpize5.6
-rwxr-xr-x  1 root   root    4.6K Jul  6 10:03 phpize7.0
-rwxr-xr-x  1 root   root    4.6K Aug  4 14:21 phpize7.1

pecl install extension-name fait le travail pour PHP 7.1, mais pas les autres.

L'autre anwsers indiquent que, même s'il est possible de désinstaller/réinstaller php*-dev, je préfère pas, compte tenu de l'intentionnel, co-installé sur les versions de PHP sur le système.

Une solution est de construire l'extension pour chaque version présente sur le système.

Cet extrait illustre la création avec PHP 5.6, mais j'ai fait le même pour la version 7.0 et 7.1 et les étapes sont les mêmes.

Cet exemple illustre le clonage de l'extension à partir d'un dépôt Git, mais on peut utiliser n'importe quelle source directory.

(# indique que vous devez être root ou utilisez sudo)

# apt-get install php-dev

# cd ~

# git clone https://github.com/vendor/extension-name

# cd ./extension-name

# phpize5.6

# ./configure --with-php-config=/usr/bin/php-config5.6

# make clean

# make

# make install

# ln -s /etc/php/5.6/mods-available/extension-name.ini /etc/php/5.6/fpm/conf.d/20-extension-name.ini

# service php5.6-fpm reload

Il y a une façon de passer de PHP-Version sur Ubuntu:

sudo update-alternatives --set php /usr/bin/php5.6

Source: https://superuser.com/a/1100911/371795