UbuntuかつPHP7でphpredisを使えるようにする


UbuntuかつPHP7でphpredisを入れた日本語情報がないのでメモレベル

今回試したバージョン

Ubuntu 14.04.3
PHP 7.0.8
Redis 3.0.3

makeできる環境を整える

php7.x系が入っていることをチェック

$ php -v

phpizeがphp5-dev ではなく php7.0-dev を入れないと
ただしくmakeできないので7.0のほうを入れる

$ sudo apt-get install php7.0-dev

makeする

現在はPHP7用のphpredisは別ブランチで管理されているので
専用のブランチからmakeする

$ cd /usr/local/src
$ sudo git clone -b php7 https://github.com/phpredis/phpredis.git
$ cd phpredis
$ sudo phpize
$ sudo ./configure
$ sudo make && sudo make install

makeしたファイルを元に設置

各種ファイルをコピー、シンボリックリンクを貼る

$ sudo cp modules/redis.so `php-config --extension-dir`
$ sudo cp rpm/redis.ini /etc/php/7.0/mods-available/
$ sudo echo "extension=redis.so" > /etc/php/7.0/mods-available/redis.ini
$ sudo ln -s /etc/php/7.0/mods-available/redis.ini /etc/php/7.0/cli/conf.d/redis.ini

# 以下はサーバー環境次第で設定
$ sudo ln -s /etc/php/7.0/mods-available/redis.ini /etc/php/7.0/apache2/conf.d/redis.ini
$ sudo ln -s /etc/php/7.0/mods-available/redis.ini /etc/php/7.0/fpm/conf.d/redis.ini

最後に動くか確認

以下コマンドで実際にプラグインが動いているかを確認する。

$ php -r "if (new Redis() == true){ echo \"OK \r\n\"; }"

OKが出れば完了。

参考リンク