Vivado installed into a docker image for CI purposes.

1. This docker file assumes the Vivado download is available on a webserver somewhere. This can easily be the build machine using the webserver in Python.

   cd /path/to/Vivado/download
   python -m http.server

2. Copy your Vivado Xilinx.lic file into the directory.
3. Potentialy modify the install_config.txt to change the install options.
4. Build the image (will take about 10 minutes) passing in a build arg

   docker build --build-arg VIVADO_TAR_HOST=host_ip:8000 --build-arg VIVADO_TAR_FILE=Xilinx_Vivado_SDK_2016.3_1011_1 -t vivado:2016.3 .

The Dockerfile sets up a vivado user to avoid running as root. I have only considered running Vivado in batch mode for running CI simulations and building bit files. For development work with the GUI you may have to fiddle with X11 settings.