| 12345678910111213141516171819202122232425 |
- 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
|
