From 0ef33dd0d842eb1d18b03f486a66d41175772ab9 Mon Sep 17 00:00:00 2001
From: Robert Jordens <rj@m-labs.hk>
Date: Thu, 15 Feb 2018 14:20:43 +0100
Subject: [PATCH] manual: add note about the "correct" vivado version

close #910
---
 doc/manual/developing.rst | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc/manual/developing.rst b/doc/manual/developing.rst
index 1f60335d1..7c237d670 100644
--- a/doc/manual/developing.rst
+++ b/doc/manual/developing.rst
@@ -142,6 +142,13 @@ These steps are required to generate gateware bitstream (``.bit``) files, build
 
     * Get Vivado from http://www.xilinx.com/support/download/index.htm.
 
+    * The "appropriate" Vivado version to use for building the bitstream can
+      vary. Some versions contain bugs that lead to hidden or visible failures,
+      others work fine.
+      Refer to the `M-Labs buildbot logs <http://buildbot.m-labs.hk/>`_ to
+      determine which version is currently used to when building the binary
+      packages.
+
     * During the Vivado installation, uncheck ``Install cable drivers`` (they are not required as we use better and open source alternatives).
 
 * Install Migen: ::