anchor.diff:  FROM ubuntu:14.04
   
   MAINTAINER  Michael Burri "mpbzh@burri.io"
  +
  +ENV PHP_DIR /etc/php5
  +ENV PATH /root/.phpenv/bin:/root/.phpenv/shims:$PATH
   
   RUN apt-get update -y && \
       apt-get upgrade -y && \
  
positive.code: 
  RUN git clone https://github.com/CHH/phpenv.git /tmp/phpenv && \
      /tmp/phpenv/bin/phpenv-install.sh && \
      echo 'eval \"\$(phpenv init -)\"' >> /etc/profile.d/phpenv.sh && \
      echo 'eval "$(phpenv init -)"' >> $HOME/.bashrc
  
  RUN git clone git://github.com/CHH/php-build.git $HOME/.phpenv/plugins/php-build
  COPY files/configure $HOME/.phpenv/plugins/php-build/share/php-build/default_configure_options
  
  ENV PATH /root/.phpenv/shims:/root/.phpenv/bin:$PATH
  
  # RUN ln -s /usr/lib/x86_64-linux-gnu/libfreetype.so /usr/lib/libfreetype.so && \
  #    ln -s /usr/lib/x86_64-linux-gnu/libgmp.so      /usr/lib/libgmp.so && \
  
negative.code:     wget -q -O - https://packages.gitlab.com/gpg.key | apt-key add - && \
      apt-get update -y && \
      apt-get install -y gitlab-ci-multi-runner
  
  # Install packages required to build PHP
  RUN apt-get update -y && \
  