1
0
Fork 0

Added PHP7 compilation support

This commit is contained in:
Sergey Payu 2017-12-08 09:20:44 +00:00
parent 5cb3be32c4
commit bcec9ca73f
2 changed files with 4 additions and 2 deletions

View file

@ -38,8 +38,8 @@ if [ "x${PHP_CONFIG}" = "x" ]; then
exit 1
fi
# 5.3.3-7+squeeze13
PHP_VER=$(${PHP_CONFIG} --version | cut -d '-' -f 1)
PHP_MAJOR_VER=${PHP_VER:0:1}
if [ "x${PHP_VER}" = "x" ]; then
echo "Error: unknown php version"
@ -50,7 +50,7 @@ PHP_SRC="php-${PHP_VER}"
PHP_TGZ="${PHP_SRC}.tar.gz"
if [ ! -f "${PHP_TGZ}" ]; then
wget "http://museum.php.net/php5/${PHP_TGZ}"
wget "http://museum.php.net/php${PHP_MAJOR_VER}/${PHP_TGZ}"
if [ $? -ne 0 ]; then
# newest version?
wget -O "${PHP_TGZ}" "http://ru2.php.net/get/${PHP_TGZ}/from/this/mirror"