Comment résoudre le problème de l'impossibilité d'installer l'extension Redis php7

Redis est une base de données NoSQL très courante dans les applications PHP. L'extension Redis pour PHP aide les applications PHP à interagir avec la base de données Redis. Cependant, il existe des situations dans lesquelles l'extension Redis ne peut pas être installée. Cet article explique comment résoudre l'une des situations : l'extension php7redis ne peut pas être installée.

1. Description du problème

Lors de l'installation de l'extension php7redis, utilisez la commande suivante :

pecl install redis

L'erreur suivante se produit :

configure: error: Could not find library containing deflate
ERROR: `/private/tmp/pear/install/redis/configure --with-php-config=/usr/local/opt/php71/bin/php-config' failed

2 Solution

1. Install zlib-devel

Deflate est mentionné dans le message d'erreur. , qui est une fonction de la bibliothèque zlib. Par conséquent, nous devons installer la bibliothèque zlib-devel.

Dans le système CentOS, vous pouvez utiliser la commande suivante pour installer :

yum install zlib-devel -y

Dans le système Ubuntu, vous pouvez utiliser la commande suivante pour installer :

apt-get install zlib1g-dev -y

2. Réinstallez l'extension php7redis

Après avoir installé zlib-devel, réinstallez-la Étendez simplement php7redis :

pecl install redis

Pendant le processus d'installation, il vous sera demandé si vous souhaitez continuer l'installation, entrez simplement oui.

3. Vérification

Une fois l'installation terminée, vérifiez si l'extension php7redis est installée avec succès par la méthode suivante :

1. Créez le fichier phpinfo.php et entrez le contenu suivant :

<?php
phpinfo();
?>

2. Téléchargez le fichier sur le répertoire racine du site Web ou le répertoire spécifié.
3. Entrez http:///phpinfo.php dans le navigateur pour voir s'il existe une extension Redis.

Si elle existe, cela signifie que l'extension php7redis a été installée avec succès. S'il n'existe pas, cela signifie qu'il y a un problème pendant le processus d'installation. Veuillez le dépanner et le résoudre en fonction du message d'erreur.

4. Résumé

Ce qui précède est une solution au problème selon lequel l'extension php7redis ne peut pas être installée. Lorsque vous rencontrez un problème lors de l'installation d'une extension, vous devez d'abord lire clairement le message d'erreur et prendre les mesures appropriées en fonction du message d'erreur. J'espère que cet article sera utile à tout le monde.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!