FROM debian:jessie

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

# An assortment of normal Debian packages.  Might want to move this to
# after the horrible XiLinx stuff so we don't have to redo that very often.

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