What is the method to install Redis extension for Linux in PHP7.2

Copy the link address, download, decompress, compile and install

[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 Be sure to read this code clearly php7.2 or php

The above is the detailed content of What is the method to install Redis extension for Linux in PHP7.2. For more information, please follow other related articles on the PHP Chinese website!