docker-php-ext-install
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

docker-php-ext-install
View Options

	#!/bin/bash
	set -e

	cd /usr/src/php/ext

	usage() {
	echo "usage: $0 ext-name [ext-name ...]"
	echo " ie: $0 gd mysqli"
	echo " $0 pdo pdo_mysql"
	echo
	echo 'if custom ./configure arguments are necessary, see docker-php-ext-configure'
	echo
	echo 'Possible values for ext-name:'
	echo $(find /usr/src/php/ext -mindepth 2 -maxdepth 2 -type f -name 'config.m4' \| cut -d/ -f6 \| sort)
	}

	exts=()
	while [ $# -gt 0 ]; do
	ext="$1"
	shift
	if [ -z "$ext" ]; then
	continue
	fi
	if [ ! -d "$ext" ]; then
	echo >&2 "error: $(pwd -P)/$ext does not exist"
	echo >&2
	usage >&2
	exit 1
	fi
	exts+=( "$ext" )
	done

	if [ "${#exts[@]}" -eq 0 ]; then
	usage >&2
	exit 1
	fi

	for ext in "${exts[@]}"; do
	(
	cd "$ext"
	[ -e Makefile ] \|\| docker-php-ext-configure "$ext"
	make
	make install
	ini="/usr/local/etc/php/conf.d/docker-php-ext-$ext.ini"
	for module in modules/*.so; do
	if [ -f "$module" ]; then
	if grep -q zend_extension_entry "$module"; then
	# https://wiki.php.net/internals/extensions#loading_zend_extensions
	line="zend_extension=$(basename "$module")"
	else
	line="extension=$(basename "$module")"
	fi
	if ! grep -q "$line" "$ini"; then
	echo "$line" >> "/usr/local/etc/php/conf.d/ext-$ext.ini"
	fi
	fi
	done
	make clean
	)
	done