From: Ruben Undheim <ruben.undheim@gmail.com>
Subject: 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
Index: yosys/passes/techmap/abc.cc
===================================================================
--- yosys.orig/passes/techmap/abc.cc
+++ yosys/passes/techmap/abc.cc
@@ -1289,7 +1289,7 @@ struct AbcPass : public Pass {
 		log_header("Executing ABC pass (technology mapping using ABC).\n");
 		log_push();
 
-		std::string exe_file = proc_self_dirname() + "yosys-abc";
+		std::string exe_file = "berkeley-abc";
 		std::string script_file, liberty_file, constr_file, clk_str, delay_target;
 		bool fast_mode = false, dff_mode = false, keepff = false, cleanup = true;
 		bool show_tempdir = false;