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が出れば完了。