anchor.diff:  	&& rm "$PHP_FILENAME" \
   	&& cd /usr/src/php \
   	&& ./configure \
  +		--prefix=/usr \
   		--with-config-file-path="$PHP_INI_DIR" \
   		--with-config-file-scan-dir="$PHP_INI_DIR/conf.d" \
   		$PHP_EXTRA_CONFIGURE_ARGS \
  
positive.code: 	&& make install \
  	&& { find /usr/local/bin /usr/local/sbin -type f -perm +0111 -exec strip --strip-all '{}' + || true; } \
  	&& make clean \
  	&& runDeps="$( \
  		scanelf --needed --nobanner --recursive /usr/local \
  			| awk '{ gsub(/,/, "\nso:", $2); print "so:" $2 }' \
  
negative.code: MAINTAINER Dominique HAAS <contact@dominique-haas.fr>
  
  
  ARG PHP_INI_DIR=/usr/local/etc/php
  ARG PHP_EXTRA_CONFIGURE_ARGS="--enable-fpm --with-fpm-user=www-data --with-fpm-group=www-data"
  ARG GPG_KEYS=1A4E8B7277C42E53DBA9C7B9BCAA30EA9C0D5763
  ARG PHP_VERSION=7.0.5
  ARG PHP_FILENAME=php-7.0.5.tar.xz
  ARG PHP_SHA256=c41f1a03c24119c0dd9b741cdb67880486e64349fc33527767f6dc28d3803abb
  
  
  RUN apk add --no-cache --virtual .phpize-deps \
  