php/7.0/docker-php-ext-configure

35 lines
761 B
Plaintext
Raw Normal View History

2016-03-18 18:52:43 +01:00
#!/bin/sh
set -e
ext="$1"
extDir="/usr/src/php/ext/$ext"
2016-03-18 18:52:43 +01:00
if [ -z "$ext" ] || ! [ -d "$extDir" ]; 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)
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
set -x
cd "$extDir"
phpize
./configure "$@"