Maison > Article > base de données > Quelle est la méthode pour installer l'extension Redis pour Linux en PHP7.2
Quelle est la méthode pour installer l'extension Redis pour Linux en PHP7.2
- WBOYavant
- 2023-05-31 12:46:061064parcourir
Copiez l'adresse du lien, téléchargez, décompressez, compilez et installez
[root@zzming soft]# wget http://pecl.php.net/get/redis-4.2.0.tgz [root@zzming soft]# tar -xzvf redis-4.2.0.tgz [root@zzming soft]# cd redis-4.2.0 [root@zzming redis-4.2.0]# phpize [root@zzming redis-4.2.0]# ./configure --with-php-config=/usr/local/php7.2/bin/php-config [root@zzming redis-4.2.0]# make && make install
./configure --with-php-config=/usr/local/php7.2/bin/php-config Ce code doit être clairement compris comme php7. 2 ou php
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!
Déclaration：
Cet article est reproduit dans:. en cas de violation, veuillez contacter admin@php.cn Supprimer
Article précédent：Comment installer Redis avec DockerArticle suivant：Comment installer Redis avec Docker