php/7.0/zts/docker-php-ext-configure

36 lines
735 B
Plaintext
Raw Normal View History

2016-03-18 18:52:43 +01:00
#!/bin/sh
2016-01-06 19:57:29 +01:00
set -e
ext="$1"
2016-07-13 02:15:01 +02:00
if [ -z "$ext" ] || ! grep -qE "^$ext$" /usr/src/php-available-exts; then
2016-01-06 19:57:29 +01:00
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:'
2016-07-13 02:15:01 +02:00
echo $(cat /usr/src/php-available-exts)
2016-01-06 19:57:29 +01:00
exit 1
fi
shift
pm='unknown'
if [ -e /lib/apk/db/installed ]; then
pm='apk'
fi
if [ "$pm" = 'apk' ]; then
if \
[ -n "$PHPIZE_DEPS" ] \
&& ! apk info --installed .phpize-deps > /dev/null \
&& ! apk info --installed .phpize-deps-configure > /dev/null \
; then
apk add --no-cache --virtual .phpize-deps-configure $PHPIZE_DEPS
fi
fi
2016-07-13 02:15:01 +02:00
docker-php-source extract
2016-01-06 19:57:29 +01:00
set -x
2016-07-13 02:15:01 +02:00
cd "/usr/src/php/ext/$ext"
2016-01-06 19:57:29 +01:00
phpize
./configure "$@"