synth: improve script documentation. NFC.

diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc
index efb214759b251b2fa9a79cdf6ac5fac9a6c6f3ec..5cadbba7abd277614e0074cc320dc6bae6db5b4f 100644 (file)
--- a/techlibs/common/synth.cc
+++ b/techlibs/common/synth.cc
@@ -186,19 +186,19 @@ struct SynthPass : public ScriptPass
                {
                        run("proc");
                        if (help_mode || flatten)
-                               run("flatten", "(if -flatten)");
+                               run("flatten", "  (if -flatten)");
                        run("opt_expr");
                        run("opt_clean");
                        run("check");
                        run("opt");
                        run("wreduce");
                        if (!noalumacc)
-                               run("alumacc");
+                               run("alumacc", "  (unless -noalumacc)");
                        if (!noshare)
-                               run("share");
+                               run("share", "    (unless -noshare)");
                        run("opt");
                        if (!nofsm)
-                               run("fsm" + fsm_opts);
+                               run("fsm" + fsm_opts, "      (unless -nofsm)");
                        run("opt -fast");
                        run("memory -nomap" + memory_opts);
                        run("opt_clean");
@@ -214,8 +214,8 @@ struct SynthPass : public ScriptPass
 
                        if (!noabc) {
                #ifdef YOSYS_ENABLE_ABC
-                               run("abc -fast");
-                               run("opt -fast");
+                               run("abc -fast", "(unless -noabc)");
+                               run("opt -fast", "(unless -noabc)");
                #endif
                        }
                }