2016-03-18 18:52:43 +01:00
|
|
|
#!/bin/sh
|
2014-11-07 01:41:50 +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
|
2014-11-07 01:41:50 +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)
|
2014-11-07 01:41:50 +01:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
shift
|
|
|
|
|
2016-06-12 10:58:09 +02:00
|
|
|
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
|
|
|
|
|
2014-11-07 01:41:50 +01:00
|
|
|
set -x
|
2016-07-13 02:15:01 +02:00
|
|
|
cd "/usr/src/php/ext/$ext"
|
2014-11-07 01:41:50 +01:00
|
|
|
phpize
|
|
|
|
./configure "$@"
|