Maison >développement back-end >Problème PHP >Comment installer l'extension Redis pour PHP
Comment installer l'extension redis de php en php :
1 Installer redis
Veuillez vous rendre sur https pour Redis. processus d'installation ://www.cnblogs.com/IT-Crowd/articles/10626765.html
2. Téléchargez l'extension Redis
[root@root php-extension]# wget https://pecl.php.net/get/redis-4.3.0.tgz
3. Décompressez tar -zxvf redis-4.3.0. tgz
[root@root php-extension]# tar -zxvf redis-4.3.0.tgz
4. Générer le fichier de configuration de configuration
[root@root php-extension]# cd redis-4.3.0 [root@root redis-4.3.0]# /usr/local/php/bin/phpize
5. Installer l'extension redis
[root@root redis-4.3.0]# ./configure --with-php-config=/usr/local/php/bin/php-config [root@root redis-4.3.0]# make && make install
Invite de fin d'installation :
Construction terminée.
N'oubliez pas de lancer 'make test'.Installation des extensions partagées : /usr/local/php/lib/php/extensions/no-debug-non-zts-20170718/
6. Ajoutez l'extension Redis dans php.ini
Configurez d'abord extension_dir :
extension_dir = "/usr/local/php/lib/php/extensions/no-debug-non-zts-20170718/"
Ajoutez l'extension = redis.so sous extension_dir
7. 🎜>
[root@root redis-4.3.0]# service php-fpm restartExtension 8.Redis installée avec succès
Références associées : Site Web chinois 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!