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