Added "abc" label in synth script

1 files changed, 12 insertions, 6 deletions

diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc
index c76b002c..211b5905 100644
--- a/techlibs/common/synth.cc
+++ b/techlibs/common/synth.cc
@@ -80,10 +80,12 @@ struct SynthPass : public Pass {
 		log("        memory_map\n");
 		log("        opt -full\n");
 		log("        techmap\n");
-		log("        opt -fast -full\n");
+		log("        opt -fast\n");
 	#ifdef YOSYS_ENABLE_ABC
+		log("\n");
+		log("    abc:\n");
 		log("        abc -fast\n");
-		log("        opt_clean\n");
+		log("        opt -fast\n");
 	#endif
 		log("\n");
 	}
@@ -150,12 +152,16 @@ struct SynthPass : public Pass {
 			Pass::call(design, "memory_map");
 			Pass::call(design, "opt -full");
 			Pass::call(design, "techmap");
-			Pass::call(design, "opt -fast -full");
-		#ifdef YOSYS_ENABLE_ABC
+			Pass::call(design, "opt -fast");
+		}
+
+	#ifdef YOSYS_ENABLE_ABC
+		if (check_label(active, run_from, run_to, "abc"))
+		{
 			Pass::call(design, "abc -fast");
-			Pass::call(design, "opt_clean");
-		#endif
+			Pass::call(design, "opt -fast");
 		}
+	#endif
 
 		log_pop();
 	}