blob: 908dcdf7f30e2d760df536e1605e0bb64ac3ceda (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#!/bin/bash
#
# @copyright (c) 2013 phpBB Group
# @license http://opensource.org/licenses/gpl-2.0.php GNU General Public License v2
#
set -e
set -x
function find_php_ini
{
echo $(php --ini | grep "Loaded Configuration" | sed -e "s|.*:\s*||")
}
# $1 - PHP extension name
# $2 - PHP ini file path
function install_php_extension
{
echo "Installing $1 PHP extension"
# See http://www.php.net/manual/en/install.pecl.phpize.php
cd "$1"
phpize
./configure
make
make install
cd ..
echo "extension=$1.so" >> "$2"
}
php_ini_file=$(find_php_ini)
# redis
git clone git://github.com/nicolasff/phpredis.git redis
install_php_extension 'redis' "$php_ini_file"
|
