anchor.diff:          make \
           sudo \
           git \
  +        gnupg \
           curl wget \
           uncrustify \
           netcat-openbsd \
  
positive.code: USER root
  
  # Base Tools
  RUN apt-get -qq update && \
      apt-get -qq -y --no-install-recommends install \
          openjdk-8-jdk \
          ant \
          python-pip \
          python-serial \
          bzip2 \
          srecord \
          && \
      apt-get -qq clean && \
      rm -rf /var/lib/apt/lists/* && \
      mkdir -p /opt
  
  # Upgrade pip to latest version
  # Install IoT-Lab cli-tools and ssh-cli-tools
  RUN pip -q install --upgrade pip
  RUN pip -q install setuptools && \
      pip install iotlabcli==2.5.4 && iotlabsshcli==0.2.3
  
  # Install ARM toolchain
  RUN wget -nv https://launchpad.net/gcc-arm-embedded/5.0/5-2015-q4-major/+download/gcc-arm-none-eabi-5_2-2015q4-20151219-linux.tar.bz2 && \
  
negative.code: RUN apt-get -qq update && \
      apt-get -qq -y --no-install-recommends install \
          sudo \
          libpam-cap \
          libcap2-bin \
          && \
      apt-get -qq clean && \
      rm -rf /var/lib/apt/lists/*
  