diff options
Diffstat (limited to 'stage3/Dockerfile.later')
| -rw-r--r-- | stage3/Dockerfile.later | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/stage3/Dockerfile.later b/stage3/Dockerfile.later new file mode 100644 index 0000000..7f9b257 --- /dev/null +++ b/stage3/Dockerfile.later @@ -0,0 +1,25 @@ +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 |