GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — php/docker-php-ext-install at master · thisdot/php Expand file tree/ Copy pathdocker-php-ext-installMore file actions executable file ·143 lines (122 loc) · 2.9 KB / Copy pathdocker-php-ext-installFile metadata and controlsexecutable file ·143 lines (122 loc) · 2.9 KB 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 #!/bin/sh set -e # prefer user supplied CFLAGS, but default to our PHP_CFLAGS : ${CFLAGS:=$PHP_CFLAGS} : ${CPPFLAGS:=$PHP_CPPFLAGS} : ${LDFLAGS:=$PHP_LDFLAGS} export CFLAGS CPPFLAGS LDFLAGS srcExists= if [ -d /usr/src/php ]; then srcExists=1 fi docker-php-source extract if [ -z "$srcExists" ]; then touch /usr/src/php/.docker-delete-me fi cd /usr/src/php/ext usage() { echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]" echo " ie: $0 gd mysqli" echo " $0 pdo pdo_mysql" echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop" echo echo 'if custom ./configure arguments are necessary, see docker-php-ext-configure' echo echo 'Possible values for ext-name:' find . \ -mindepth 2 \ -maxdepth 2 \ -type f \ -name 'config.m4' \ | xargs -n1 dirname \ | xargs -n1 basename \ | sort \ | xargs echo echo 'Some of the above modules are already compiled into PHP; please check' echo 'the output of "php -i" to see which modules are already loaded.' } opts="$(getopt -o 'h?j:' --long 'help,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })" eval set -- "$opts" j=1 iniName= while true; do flag="$1" shift case "$flag" in --help|-h|'-?') usage && exit 0 ;; --ini-name) iniName="$1" && shift ;; --jobs|-j) j="$1" && shift ;; --) break ;; *) { echo "error: unknown flag: $flag" usage } >&2 exit 1 ;; esac done exts= for ext; do if [ -z "$ext" ]; then continue fi if [ ! -d "$ext" ]; then echo >&2 "error: $PWD/$ext does not exist" echo >&2 usage >&2 exit 1 fi exts="$exts $ext" done if [ -z "$exts" ]; then usage >&2 exit 1 fi pm='unknown' if [ -e /lib/apk/db/installed ]; then pm='apk' fi apkDel= if [ "$pm" = 'apk' ]; then if [ -n "$PHPIZE_DEPS" ]; then if apk info --installed .phpize-deps-configure > /dev/null; then apkDel='.phpize-deps-configure' elif ! apk info --installed .phpize-deps > /dev/null; then apk add --no-cache --virtual .phpize-deps $PHPIZE_DEPS apkDel='.phpize-deps' fi fi fi popDir="$PWD" for ext in $exts; do cd "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext" make -j"$j" if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then # only "strip" modules if we aren't using a debug build of PHP # (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option) # https://github.com/docker-library/php/issues/1268 find modules \ -maxdepth 1 \ -name '*.so' \ -exec sh -euxc ' \ strip --strip-all "$@" || : ' -- '{}' + fi make -j"$j" install find modules \ -maxdepth 1 \ -name '*.so' \ -exec basename '{}' '.so' ';' \ | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} make -j"$j" clean cd "$popDir" done if [ "$pm" = 'apk' ] && [ -n "$apkDel" ]; then apk del --no-network $apkDel fi if [ -e /usr/src/php/.docker-delete-me ]; then docker-php-source delete fi |
| You are visitor 01402520 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |