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