Run update.sh

This commit is contained in:
Joe Ferguson
2016-07-12 17:15:01 -07:00
parent 1a4763005a
commit f016f5dc42
84 changed files with 1626 additions and 519 deletions

View File

@ -2,13 +2,12 @@
set -e
ext="$1"
extDir="/usr/src/php/ext/$ext"
if [ -z "$ext" ] || ! [ -d "$extDir" ]; then
if [ -z "$ext" ] || ! grep -qE "^$ext$" /usr/src/php-available-exts; then
echo >&2 "usage: $0 ext-name [configure flags]"
echo >&2 " ie: $0 gd --with-jpeg-dir=/usr/local/something"
echo >&2
echo >&2 'Possible values for ext-name:'
echo >&2 $(find /usr/src/php/ext -mindepth 2 -maxdepth 2 -type f -name 'config.m4' | cut -d/ -f6 | sort)
echo $(cat /usr/src/php-available-exts)
exit 1
fi
shift
@ -28,7 +27,9 @@ if [ "$pm" = 'apk' ]; then
fi
fi
docker-php-source extract
set -x
cd "$extDir"
cd "/usr/src/php/ext/$ext"
phpize
./configure "$@"