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 | |
| 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')
| -rw-r--r-- | Dockerfile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Dockerfile b/Dockerfile deleted file mode 100644 index 169fb28..0000000 --- a/Dockerfile +++ /dev/null @@ -1,11 +0,0 @@ -FROM debian:jessie - -# 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. - -# 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 mkdir /xilinx-unpack -ADD Xilinx_ISE_DS_Lin_14.7_1015_1.tar /xilinx-unpack/ |