1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
From: Ruben Undheim <ruben.undheim@gmail.com>
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 21b70f4..1b36261 100644
--- a/passes/techmap/abc.cc
+++ b/passes/techmap/abc.cc
@@ -1458,11 +1458,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;
|