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 /stage1/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 'stage1/Dockerfile')
-rw-r--r-- | stage1/Dockerfile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/stage1/Dockerfile b/stage1/Dockerfile new file mode 100644 index 0000000..2881772 --- /dev/null +++ b/stage1/Dockerfile @@ -0,0 +1,17 @@ +FROM debian:jessie + +# Our goal here is just to load the XiLinx tarball into a Debian Jessie image. +# Overriding reason for making this a separate image: we don't want to have +# to send 6GB of build context every time we touch a later stage. + +ADD Xilinx_ISE_DS_Lin_14.7_1015_1.tar /xilinx-unpack/ + +# Given our general paranoia level we probably should be building our +# own debian:jessie image from debootstrap, but leave that for another +# day. Process is reasonably well documented: instead of starting +# from a base image, start by running debootstrap in --foreign mode, +# import that into an initial Docker image, then run `debootstrap +# --second-stage` in the next Dockerfile. Something like: +# +# sudo debootstrap --foreign jessie jessie_chroot +# sudo tar -C jessie_chroot -c . | docker import - my-debian:jessie |