anchor.diff: -FROM resin/rpi-raspbian
  +FROM resin/armv7hf-debian
   
   MAINTAINER Théo Segonds <theo.segonds@inria.fr>
   
  
positive.code: 	wget curl \
  	bzip2 tar unzip \
  	ca-certificates \
      libglib2.0-0 libxext6 libsm6 libxrender1 
  
  # Compilation
  RUN apt-get install -y --no-install-recommends build-essential \
  
negative.code: RUN curl -s -L http://repo.continuum.io/miniconda/Miniconda3-3.16.0-Linux-armv7l.sh > miniconda.sh && \
      openssl md5 miniconda.sh | grep a01cbe45755d576c2bb9833859cf9fd7 && \
      bash miniconda.sh -b -p /opt/conda && \
      rm miniconda.sh
  
  RUN export PATH="/opt/conda/bin:${PATH}" && \
      conda config --set show_channel_urls True && \
  		conda config --add channels rpi && \
      conda update --all --yes && \
  		conda install -y python=3.6 -c rpi && \
      conda install conda-build && \
      conda install anaconda-client && \
  		conda clean -tipsy
  
  ENV PATH /opt/conda/bin:$PATH
  
  # Install conda-forge git. -> not available in linux-armV7
  RUN export PATH="/opt/conda/bin:${PATH}" && \
      conda install --yes jinja2 && \
      conda config --set anaconda_upload yes && \
      conda config --set use_pip false && conda config --set show_channel_urls true && \
    	conda clean -tipsy
  
  RUN [ "cross-build-end" ]
  
  
  ENTRYPOINT [ "/usr/bin/qemu-arm-static", "/usr/bin/env", "QEMU_EXECVE=1" ]
  CMD [ "/bin/bash" ]
  