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 d2d15a4..adc9614 100644 --- a/passes/techmap/abc.cc +++ b/passes/techmap/abc.cc @@ -1432,11 +1432,7 @@ struct AbcPass : public Pass { pi_map.clear(); po_map.clear(); -#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, lutin_shared = "-S 1"; bool fast_mode = false, dff_mode = false, keepff = false, cleanup = true;