summaryrefslogtreecommitdiff
path: root/debian/patches/05_abc_executable.patch
blob: 5a57903fca3b92bff2a69e143d2e1b1776e68a6a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
Description: 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
Author: Ruben Undheim <ruben.undheim@gmail.com>
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;