Respect -nocarry

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 19a19d14e4ab730f65af59830a2f68d2fb8054ca..8ce552780f77ada03e0eae234469afe4f2bab76a 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -270,9 +270,11 @@ struct SynthXilinxPass : public ScriptPass
                        if (vpr && !nocarry && !help_mode)
                                run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY");
                        else if (abc == "abc9" && !nocarry && !help_mode)
-                               run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _CLB_CARRY", "(skip if '-nocarry')");
+                               run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _CLB_CARRY");
                        else if (!nocarry || help_mode)
                                run("techmap -map +/techmap.v -map +/xilinx/arith_map.v", "(skip if '-nocarry')");
+                       else
+                               run("techmap -map +/techmap.v");
 
                        run("opt -fast");
                }