FROM cryptech-builder:stage1

RUN echo 'deb http://deb.debian.org/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list

# Stuff we need we need to build firmware and client packages.  This
# stuff is much more likely to change than the XiLinx tools, so we put
# it at the end of the build where we can use normal Docker tooling.

RUN apt-get update && \
    apt-get install -y \
	    avr-libc \
	    binutils-avr \
	    gcc-arm-none-eabi \
	    gcc-avr \
	    git \
	    python-crypto \
	    python-serial \
	    python-yaml \
	    reprepro \
	    ubuntu-archive-keyring \
	    ubuntu-dev-tools \
	    pbuilder && \
    apt-get -t jessie-backports install -y \
	    debootstrap distro-info-data