Add warning if synth_xilinx -abc9 with family != xc7

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index fab070882ed49bb696aeec2c7b520a9cff54bc98..7dbd980556e76f347aba547517dc9c1126cf1abf 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -302,6 +302,8 @@ struct SynthXilinxPass : public ScriptPass
                        if (help_mode)
                                run("abc -luts 2:2,3,6:5[,10,20] [-dff]", "(skip if 'nowidelut', only for '-retime')");
                        else if (abc9) {
+                               if (family != "xc7")
+                                       log_warning("'synth_xilinx -abc9' currently supports '-family xc7' only.\n");
                                if (nowidelut)
                                        run("abc9 -lut +/xilinx/abc_xc7_nowide.lut -box +/xilinx/abc_xc7.box -W " + std::string(XC7_WIRE_DELAY) + string(retime ? " -dff" : ""));
                                else