Maison >développement back-end >Problème PHP >Comment installer l'extension Redis dans php5.3
Comment installer l'extension redis dans php5.3 : 1. Téléchargez et décompressez le pilote redis ; 2. Utilisez la commande phpize pour compiler ; 3. Utilisez la commande [make install] pour installer ; PHP.
L'environnement d'exploitation de cet article : système Red Hat Enterprise Linux 7.4, php 5.3&&redis 4.0, ordinateur Thinkpad T480.
La méthode spécifique est la suivante :
Assurez-vous d'abord que nous avons installé le service redis et que php peut être utilisé normalement sur la machine.
Ensuite téléchargez et installez le pilote redis
cd /opt wget https://github.com/phpredis/phpredis/releases/tag/5.3.0RC2 tar -zxvf 5.3.0RC2 cd phpredis-5.3.0RC2 phpize ./configure --with-php-config=/usr/bin/php-config make make install
Puis éditez le fichier de configuration
Je choisis d'ajouter extension=redis.so directement au fichier php.ini.
Mais lorsque je l'ai ajouté, l'erreur suivante s'est produite :
PHP Warning: PHP Startup: Unable to load dynamic library 'redis.so' (tried: /usr/lib64/php/modules/redis.so (/usr/lib64/php/modules/redis.so: .....................
Ne pas ajouter la ligne extension=redis.so dans le php.ini. Vous pouvez la trouver dans le php.d (où est php. .d) Créez un nouveau fichier redis.ini et ajoutez la ligne extension=redis.so à redis.ini.
Enfin, redémarrez php
php -m et trouvez l'extension redis. est chargé.
Recommandations associées : Tutoriel 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!