diff options
author | Rob Austein <sra@hactrn.net> | 2019-02-10 23:58:32 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2019-02-10 23:58:32 +0000 |
commit | 71861b6ea54738950ac5c8e83e78bbd1215a11ed (patch) | |
tree | b18d6c8087b1e3cdd936a00565b3ddce124435aa /Dockerfile.later | |
parent | b0daf8cf8c9cd39dd5e76aacfa5a5c7c4d500b8b (diff) |
Separate into multiple stages, at least during development.
Docker is pretty clever about not rebuilding stuff, but
simply having the 6GB XiLinx tarball in the build context
is painful, so let's avoid that as much as we can.
Diffstat (limited to 'Dockerfile.later')
-rw-r--r-- | Dockerfile.later | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/Dockerfile.later b/Dockerfile.later deleted file mode 100644 index 7f9b257..0000000 --- a/Dockerfile.later +++ /dev/null @@ -1,25 +0,0 @@ -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 |