anchor.diff:  ENV PATH /home/repair/.opam/4.02.1/bin:$PATH
   
   # Install the prerequisite OPAM packages
  -RUN opam update
  -RUN opam install -y depext
  -RUN opam install -y ocamlfind
  -RUN opam install -y yojson
  -RUN opam install -y cil
  -RUN opam install -y core
  -
  -# Download and configure the ManyBugs and ICSE benchmarks
  -#RUN git clone git://github.com/ChrisTimperley/AutomatedRepairBenchmarks.c \
  -#  benchmarks --depth 1
  -
  -# gzip
  -RUN sudo dnf install -y cvs findutils gettext gettext-devel texinfo libtool hg
  -RUN sudo dnf install -y perl --best --allowerasing
  -
  -# Imagemagick
  -RUN sudo dnf install -y file
  -
  -# PHP
  -RUN sudo dnf install -y bison flex
  -
  -# ps
  -RUN sudo dnf install -y procps-ng
  -
  -# Required by Python
  -RUN sudo dnf install -y mesa-libGLU-devel.i686
  -
  -# Install CCache
  -RUN sudo dnf install -y ccache
  -ENV PATH /usr/lib/ccache:$PATH
  -
  -# fbc
  -RUN sudo dnf install -y gpm-devel.i686 binutils-devel.i686
  +RUN opam update &&\
  +    opam install -y depext &&\
  +    opam install -y ocamlfind &&\
  +    opam install -y yojson &&\
  +    opam install -y cil &&\
  +    opam install -y core
   
   # Download and install GenProg 3, before ensuring it is in its most up-to-date
   # form
   ENV GenProgVersion ce62daf66baf34477caf3d75ec335d82b89ad2c3
   RUN git clone https://bitbucket.org/ChrisTimperley/GP3 genprog --depth 1 && \
  -  pushd genprog/src && make && sudo make install && popd && \
  -  rm -rf /repair/genprog/src; exit 0
  +    $(cd genprog/src && sudo make install) &&\
  +    rm genprog -rf
  
positive.code: #
  # Docker configuration for a stable, consistent automated repair environment,
  # based on Fedora. Comes with the AutomatedRepairBenchmarks.c suite pre-loaded,
  # together with OCaml, OPAM, and GenProg.
  #
  FROM fedora:latest
  USER root
  
negative.code:   git \
    m4 \
    jq \
    perl-devel \
    perl-CPAN \
    glibc-devel \
    psmisc \
    wget \
    patch \
    tar \
    unzip \
    which \
    ccache
  
  # Setup CCache
  ENV PATH /usr/lib/ccache:$PATH
  
  # Switch to the repair user to install OCaml and OPAM
  USER repair
  WORKDIR /home/repair
  ENV HOME /home/repair
  