Quelle est la méthode pour installer l'extension Redis pour Linux en PHP7.2

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!