Comment ajouter une extension Redis dans php7

PHP7 ajoute l'extension redis

1 Objectif :

　Récemment déployé un nouvel environnement, j'utilise PHP7. +nginx. L'ancienne version de NoSQL utilise memcache. Je prévois d'utiliser redis dans la nouvelle version, j'ai donc installé l'extension redis.

2.Description :

En fait, il n'y a rien à quoi faire attention lors de l'installation de l'extension redis, l'essentiel est de faire attention à savoir si l'extension prend en charge la version PHP lors du téléchargement de l'extension. Les autres méthodes d'installation sont les mêmes que les méthodes d'installation habituelles de l'extension PHP.

3. Étapes d'installation :

1. Télécharger

Adresse de téléchargement : http://pecl. php.net/package/redis

J'ai mis le répertoire de téléchargement sous /data/download/php

cd dans le répertoire de téléchargement, téléchargez : wget http://pecl.php.net/get/redis-3.1.2.tgz

　2. Décompressez

Décompressez vers le répertoire actuel tar -zxvf redis-3.1.2.tgz

　3. Installez

répertoire cd redis-3.1.2

Utilisez phpize pour générer le fichier de configuration configure dans ce répertoire : exécutez directement /usr/local/php7/bin/phpize

Puis configurez, compilez et install Tous sont terminés dans ce répertoire

　./configure --with-php-config=/usr/local/php7/bin/php-config

Make

make install

Make install et vous verrez Installing shared extensions: /usr/local/php7/lib/ php /extensions/no-debug-non-zts-20160303/

Ce répertoire est le répertoire dans lequel le fichier redis.so est généré

ll /usr /local/php7/lib/php/extensions/no-debug-non-zts-20160303/

Lorsque vous voyez redis.so, cela signifie que l'installation est réussie

4. Configurer pour prendre en charge PHP7 :

vim /usr/local/php7/etc/php.ini

Ajoutez l'extension =redis.so

　:wq!

5. Redémarrez nginx, redémarrez php-fpm 🎜>　

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!