The dependency abc is built with the name yosys-abc upstream. Since it is available as a separate package independently of yosys, it is not called yosys-abc in debian. This patch changes the name of the command that yosys looks for.

Forwarded: doesn't make sense upstream

Gbp-Pq: Name 05_abc_executable.patch

1 files changed, 1 insertions, 5 deletions

diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index cc79296c..b215cbcd 100644
--- a/passes/techmap/abc.cc
+++ b/passes/techmap/abc.cc
@@ -1327,11 +1327,7 @@ struct AbcPass : public Pass {
 		log_header(design, "Executing ABC pass (technology mapping using ABC).\n");
 		log_push();
 
-#ifdef ABCEXTERNAL
-		std::string exe_file = ABCEXTERNAL;
-#else
-		std::string exe_file = proc_self_dirname() + "yosys-abc";
-#endif
+		std::string exe_file = "berkeley-abc";
 		std::string script_file, liberty_file, constr_file, clk_str;
 		std::string delay_target, sop_inputs, sop_products;
 		bool fast_mode = false, dff_mode = false, keepff = false, cleanup = true;