vendor.xilinx_7series: read extra .xdc files.

diff --git a/nmigen/vendor/xilinx_7series.py b/nmigen/vendor/xilinx_7series.py
index b711be0c1eb850cfd29229505cb774126ee63049..b0f8f99b0610cf932113380eded1f304339c0456 100644 (file)
--- a/nmigen/vendor/xilinx_7series.py
+++ b/nmigen/vendor/xilinx_7series.py
@@ -62,6 +62,11 @@ class Xilinx7SeriesPlatform(TemplatedPlatform):
             {% endfor %}
             add_files {{name}}.v
             read_xdc {{name}}.xdc
+            {% for file in platform.extra_files %}
+                {% if file.endswith("xdc") -%}
+                    read_xdc {{file}}
+                {% endif %}
+            {% endfor %}
             {{get_override("script_after_read")|default("# (script_after_read placeholder)")}}
             synth_design -top {{name}} -part {{platform.device}}{{platform.package}}-{{platform.speed}}
             {{get_override("script_after_synth")|default("# (script_after_synth placeholder)")}}