Assume that what's working for PHP 7.2 works for PHP 7.3

pull/10/head
Michele Locati 2018-12-11 14:06:45 +01:00
parent 8a32e6d0a7
commit 6b85bc3493
1 changed files with 3 additions and 3 deletions

View File

@ -347,7 +347,7 @@ installBundledModule () {
;; ;;
mssql|pdo_dblib) mssql|pdo_dblib)
case "$1" in case "$1" in
506|700|701|702) 506|700|701|702|703)
if ! test -f /usr/lib/libsybdb.so if ! test -f /usr/lib/libsybdb.so
then then
ln -s /usr/lib/x86_64-linux-gnu/libsybdb.so /usr/lib/libsybdb.so ln -s /usr/lib/x86_64-linux-gnu/libsybdb.so /usr/lib/libsybdb.so
@ -358,7 +358,7 @@ installBundledModule () {
;; ;;
odbc) odbc)
case "$1" in case "$1" in
506|700|701|702) 506|700|701|702|703)
docker-php-source extract docker-php-source extract
cd /usr/src/php/ext/odbc cd /usr/src/php/ext/odbc
phpize phpize
@ -515,7 +515,7 @@ stringInList () {
resetIFS resetIFS
PHP_MAJMIN_VERSION=$(getPHPMajorMinor) PHP_MAJMIN_VERSION=$(getPHPMajorMinor)
case "${PHP_MAJMIN_VERSION}" in case "${PHP_MAJMIN_VERSION}" in
506|700|701|702) 506|700|701|702|703)
;; ;;
*) *)
printf "### ERROR: Unsupported PHP version: %s.%s ###\n" $(( PHP_MAJMIN_VERSION / 100 )) $(( PHP_MAJMIN_VERSION % 100 )) printf "### ERROR: Unsupported PHP version: %s.%s ###\n" $(( PHP_MAJMIN_VERSION / 100 )) $(( PHP_MAJMIN_VERSION % 100 ))