diff options
| author | Rob Austein <sra@hactrn.net> | 2019-02-10 23:12:48 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2019-02-10 23:12:48 +0000 |
| commit | b0daf8cf8c9cd39dd5e76aacfa5a5c7c4d500b8b (patch) | |
| tree | a3a8ae2e7624e2fada3df7f29c7de26952770d5a | |
| parent | 7f1c8362584eba26c1a75bfbd9da5fd5a749be31 (diff) | |
First cut at just unpacking the XiLinx tarball.
| -rw-r--r-- | .dockerignore | 1 | ||||
| -rw-r--r-- | Dockerfile | 28 | ||||
| -rw-r--r-- | Dockerfile.later | 25 |
3 files changed, 33 insertions, 21 deletions
diff --git a/.dockerignore b/.dockerignore index 10769eb..1c5d569 100644 --- a/.dockerignore +++ b/.dockerignore @@ -1,2 +1,3 @@ +Dockerfile.later Makefile README.md @@ -1,25 +1,11 @@ FROM debian:jessie -RUN echo 'deb http://deb.debian.org/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list +# OK, let's start with the horrible XiLinx stuff because that's least +# likely to change except when we're updating the base Docker image. -# 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. +# In theory, using ADD in this form will cause docker to unpack the +# tarball directly into the filesystem, thus saving us an otherwise +# useless 6GB copy operation, which seems worthwhile. -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 +RUN mkdir /xilinx-unpack +ADD Xilinx_ISE_DS_Lin_14.7_1015_1.tar /xilinx-unpack/ diff --git a/Dockerfile.later b/Dockerfile.later new file mode 100644 index 0000000..7f9b257 --- /dev/null +++ b/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 |