From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 31 Oct 2014 02:46:27 +0000 (+0100)
Subject: Added "abc" label in synth script
X-Git-Tag: yosys-0.4~13
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=74ef92b9c888fd05f03b4f679ecda6b04249e498;p=yosys.git

Added "abc" label in synth script
---

diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc
index c76b002cc..211b5905a 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();
 	}