first commit

base/php/5.4.1/cli/docker-php-ext-install

@@ -0,0 +1,60 @@
+#!/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=$(readlink -f "$module")"
+                else
+                    line="extension=$(basename "$module")"
+                fi
+                if ! grep -q "$line" "$ini" 2>/dev/null; then
+                    echo "$line" >> "$ini"
+                fi
+            fi
+        done
+        make clean
+    )
+done