From: Ruben Undheim Date: Sat, 14 May 2016 15:44:13 +0200 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 --- passes/techmap/abc.cc | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc index cc79296..b215cbc 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;