Grrr

[yosys.git] / techlibs / xilinx / synth_xilinx.cc

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 27125d56cfbccae295faa6af2c2f36cf0168a545..dfe4c647b7ae381b735232260b8bbfe3ef802fe5 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -153,8 +153,8 @@ struct SynthXilinxPass : public ScriptPass
                                nocarry = true;
                                continue;
                        }
-                       if (args[argidx] == "-nomux") {
-                               nomux = true;
+                       if (args[argidx] == "-nowidelut") {
+                               nowidelut = true;
                                continue;
                        }
                        if (args[argidx] == "-vpr") {
@@ -254,11 +254,13 @@ struct SynthXilinxPass : public ScriptPass
                        }
 
                        if (help_mode)
-                               run("techmap -map +/techmap.v -map +/xilinx/arith_map.v", "(skip if '-nocarry')");
-                       else if (!vpr)
-                               run("techmap -map +/techmap.v -map +/xilinx/arith_map.v");
-                       else
-                               run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY");
+                               run("techmap -map +/techmap.v [-map +/xilinx/arith_map.v]", "(skip if '-nocarry')");
+                       else if (!nocarry) {
+                               if (!vpr)
+                                       run("techmap -map +/techmap.v -map +/xilinx/arith_map.v");
+                               else
+                                       run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY");
+                       }
 
                        run("opt -fast");
                }