anchor.diff:      cabal update && \
       cabal install cabal-install -j
   
  -## Download and Build nanomsg
  -RUN mkdir -p /software/nanomsg/build
  -WORKDIR /software/nanomsg/build
  -RUN wget --no-verbose -T 10 http://download.nanomsg.org/nanomsg-0.3-beta.tar.gz && \
  -    tar -xvzf nanomsg-0.3-beta.tar.gz && \
  -    ./nanomsg-0.3-beta/configure --prefix /software/nanomsg && \
  -    make -j 4 && make install && \
  -    rm -rf /software/nanomsg/build
  -
   # Install libre2
   RUN add-apt-repository -y ppa:pi-rho/security && \
       apt-get update && \
       apt-get install -y libre2-dev
  -
  -# Install libyaml
  -RUN apt-get install -y libyaml-cpp-dev cmake
   
   # Install csvpp
   RUN git clone https://git01.codeplex.com/forks/wjjt/csvpp /software/csvpp && \
  
positive.code: RUN apt-get update && apt-get install -y \
        linux-tools-3.13.0-32-generic libc6-dbg \
        wget aptitude tmux vim emacs make git mercurial \
        autoconf automake libtool pkg-config \
        zlib1g-dev libreadline6 libreadline6-dev libncurses5-dev libgmp-dev libyaml-dev libzmq3 libzmq3-dev \
        python-dev python-pip ruby \
        clang-3.5 libbz2-dev
  
  # Install and configure GCC 4.9
  
negative.code: RUN mkdir -p /k3/K3 /k3/K3-Mosaic && \
      git clone https://github.com/DaMSL/K3.git /k3/K3 && \
      git clone https://github.com/DaMSL/K3-Mosaic.git /k3/K3-Mosaic
  
  # Install decent vim configuration
  RUN mkdir /root/.vim && \
      git clone https://github.com/tpope/vim-pathogen.git /root/.vim; \
      git clone https://github.com/tpope/vim-sensible.git /root/.vim/bundle; \
      git clone https://github.com/tmhedberg/matchit.git /root/.vim/bundle; \
      git clone https://github.com/kien/ctrlp.git /root/.vim/bundle; \
      git clone https://github.com/tpope/vim-surround.git /root/.vim/bundle; \
      git clone https://github.com/tpope/vim-unimpaired.git /root/.vim/bundle; \
      git clone https://github.com/tpope/vim-repeat.git /root/.vim/bundle; \
      git clone https://github.com/tpope/vim-fugitive.git /root/.vim/bundle; \
      git clone https://github.com/tpope/vim-vinegar.git /root/.vim/bundle; \
      git clone https://github.com/tpope/vim-eunuch.git /root/.vim/bundle; \
      git clone https://github.com/scrooloose/nerdtree.git /root/.vim/bundle; \
      git clone https://github.com/scrooloose/syntastic.git /root/.vim/bundle; \
      git clone https://github.com/godlygeek/tabular.git /root/.vim/bundle; \
      git clone https://github.com/bling/airline.git /root/.vim/bundle; \
      git clone https://github.com/bronson/vim-visual-star-search.git /root/.vim/bundle; \
      git clone https://github.com/justinmk/vim-sneak.git /root/.vim/bundle; \
      echo 'execute pathogen#infect() | syntax on | filetype plugin indent on' > /root/.vimrc
  