anchor.diff:      make && \
       make install
   
  +# python pip installs
  +RUN pip install pyyaml
  +
   # Clone K3, K3-Mosaic from Git
   RUN mkdir -p /k3/K3 /k3/K3-Mosaic && \
       git clone https://github.com/DaMSL/K3.git /k3/K3 && \
  
positive.code: RUN apt-get update && apt-get install -y \
        linux-tools-3.13.0-32-generic libc6-dbg \
        wget vim emacs make git mercurial \
        zlib1g-dev libreadline6 libreadline6-dev libncurses5-dev libgmp-dev \
        autoconf automake libtool \
        clang-3.5 libbz2-dev
  
  
  # Install and configure GCC 4.9
  RUN add-apt-repository ppa:ubuntu-toolchain-r/test
  
negative.code: RUN add-apt-repository -y ppa:avsm/ppa && apt-get update && \
      apt-get install -y ocaml ocaml-native-compilers camlp4-extra opam time && \
      export OPAMYES=1 && export OCAMLRUNPARAM=b && opam init && eval `opam config env` && opam install ocamlfind
  
  RUN mkdir -p /software/boost-1.56 && \
      cd /software/boost-1.56 && \
  