summaryrefslogtreecommitdiff
path: root/patches/05_abc_executable.patch
diff options
context:
space:
mode:
Diffstat (limited to 'patches/05_abc_executable.patch')
-rw-r--r--patches/05_abc_executable.patch29
1 files changed, 29 insertions, 0 deletions
diff --git a/patches/05_abc_executable.patch b/patches/05_abc_executable.patch
new file mode 100644
index 00000000..c9bb08d2
--- /dev/null
+++ b/patches/05_abc_executable.patch
@@ -0,0 +1,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 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;