1
0
mirror of https://github.com/phpbb/phpbb.git synced 2025-08-05 08:17:47 +02:00

[ticket/11985] Rename install -> setup. This is more generic and consistent.

PHPBB3-11985
This commit is contained in:
Andreas Fischer
2014-02-03 22:09:33 +01:00
parent b16448b3f8
commit 116ff19185
2 changed files with 1 additions and 1 deletions

50
travis/setup-php-extensions.sh Executable file
View File

@@ -0,0 +1,50 @@
#!/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 register_php_extension
{
echo "extension=$1.so" >> "$2"
}
# $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 ..
register_php_extension "$1" "$2"
}
php_ini_file=$(find_php_ini)
# apc
if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.5.0-dev', '<');"` == "1" ]
then
echo 'Enabling APC PHP extension'
register_php_extension 'apc' "$php_ini_file"
echo 'apc.enable_cli=1' >> "$php_ini_file"
fi
# redis
git clone git://github.com/nicolasff/phpredis.git redis
install_php_extension 'redis' "$php_ini_file"