diff options
| author | Rob Austein <sra@hactrn.net> | 2019-02-11 07:39:38 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2019-02-11 07:39:38 +0000 |
| commit | e556e6643e5d2300a38e4373bde45e83178becaf (patch) | |
| tree | c9e271d04b8564e0680bb1d58a25045db50d7ac8 /stage1/Dockerfile | |
| parent | 6f526cc4567cb551feb4cae121f9a067d491f711 (diff) | |
debootstrap, XiLinx installation.
Diffstat (limited to 'stage1/Dockerfile')
| -rw-r--r-- | stage1/Dockerfile | 17 |
1 files changed, 6 insertions, 11 deletions
diff --git a/stage1/Dockerfile b/stage1/Dockerfile index 2881772..db6fad3 100644 --- a/stage1/Dockerfile +++ b/stage1/Dockerfile @@ -1,17 +1,12 @@ -FROM debian:jessie +FROM xilinx:debootstrap +# Finish debootstrap (stage0 did debootstrap --foreign) + +RUN sed -i '/mount -t proc /d; /mount -t sysfs /d' /debootstrap/functions && \ + /debootstrap/debootstrap --second-stage + # 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 |