anchor.diff:  
   USER root
   RUN apt-get update &&\
  -    apt-get -y install apache2 libapache2-mod-php7.0 php7.0-pgsql graphviz libgraph-easy-perl
  +    apt-get -y install apache2 libapache2-mod-php php-pgsql graphviz libgraph-easy-perl
   
  -CMD /bin/bash /opt/provsql/docker/demo.sh
  +CMD /bin/bash $GITHUB_WORKSPACE/docker/demo.sh
   EXPOSE 80
  
positive.code:                libc6-i386 unzip mercurial libgmp-dev libboost-dev
  
  # Specify which version we are building against
  ARG PSQL_VERSION=9.6
  ENV PSQL_VERSION=$PSQL_VERSION
  
  RUN apt-get update &&\
      apt-get -y install zlib1g-dev postgresql-${PSQL_VERSION} postgresql-server-dev-${PSQL_VERSION} postgresql-contrib-${PSQL_VERSION}
  
  # Ensure a sane environment
  ENV LANG=C.UTF-8 LC_ALL=C.UTF-8 DEBIAN_FRONTEND=noninteractive
  
negative.code: 
  EXPOSE 5432
  
  RUN cd $GITHUB_WORKSPACE; make install
  
  USER postgres
  #create a db test
  RUN /etc/init.d/postgresql start &&\
      createuser -s test &&\
      createdb test &&\
      psql -f $GITHUB_WORKSPACE/test/sql/setup.sql test test  &&\
      psql -f $GITHUB_WORKSPACE/test/sql/add_provenance.sql test test &&\
      psql -f $GITHUB_WORKSPACE/test/sql/formula.sql test test  &&\
      psql -f $GITHUB_WORKSPACE/test/sql/security.sql test test &&\
      psql -c "ALTER ROLE test SET search_path TO public, provsql";     
  
  ############################## FINISHING THE DOCKER  ##############################   
  