Updated debian folder

7 files changed, 31 insertions, 17 deletions

diff --git a/debian/patches/01_gitrevision.patch b/debian/patches/01_gitrevision.patch
new file mode 100644
index 00000000..e77613b5
--- /dev/null
+++ b/debian/patches/01_gitrevision.patch
@@ -0,0 +1,13 @@
+Index: yosys/Makefile
+===================================================================
+--- yosys.orig/Makefile	2014-09-05 22:04:33.718537262 +0200
++++ yosys/Makefile	2014-09-05 22:14:29.998543657 +0200
+@@ -45,7 +45,7 @@
+ endif
+ 
+ YOSYS_VER := 0.3.0+
+-GIT_REV := $(shell git rev-parse --short HEAD 2> /dev/null || echo UNKOWN)
++GIT_REV := 01ef34c
+ OBJS = kernel/version_$(GIT_REV).o
+ 
+ # set 'ABCREV = default' to use abc/ as it is
diff --git a/debian/patches/removeabc.diff b/debian/patches/02_removeabc.patch
index 90eb6b96..90eb6b96 100644
--- a/debian/patches/removeabc.diff
+++ b/debian/patches/02_removeabc.patch
diff --git a/debian/patches/notruntests.diff b/debian/patches/03_notruntests.patch
index 6624e9ab..6624e9ab 100644
--- a/debian/patches/notruntests.diff
+++ b/debian/patches/03_notruntests.patch
diff --git a/debian/patches/installpath.diff b/debian/patches/04_installpath.patch
index 1b71456f..1b71456f 100644
--- a/debian/patches/installpath.diff
+++ b/debian/patches/04_installpath.patch
diff --git a/debian/patches/05_abc_executable.patch b/debian/patches/05_abc_executable.patch
new file mode 100644
index 00000000..aaf020b6
--- /dev/null
+++ b/debian/patches/05_abc_executable.patch
@@ -0,0 +1,13 @@
+Index: yosys/passes/abc/abc.cc
+===================================================================
+--- yosys.orig/passes/abc/abc.cc	2014-09-05 22:04:33.726537262 +0200
++++ yosys/passes/abc/abc.cc	2014-09-05 22:10:03.426540798 +0200
+@@ -1095,7 +1095,7 @@
+ 		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 = proc_self_dirname() + "abc";
+ 		std::string script_file, liberty_file, constr_file, clk_str, delay_target;
+ 		bool dff_mode = false, keepff = false, cleanup = true;
+ 		int lut_mode = 0;
diff --git a/debian/patches/gitrevision.diff b/debian/patches/gitrevision.diff
deleted file mode 100644
index 23ef26c0..00000000
--- a/debian/patches/gitrevision.diff
+++ /dev/null
@@ -1,13 +0,0 @@
-Index: yosys-0.2.0+/Makefile
-===================================================================
---- yosys-0.2.0+.orig/Makefile	2014-04-12 19:30:08.659862767 +0200
-+++ yosys-0.2.0+/Makefile	2014-04-12 21:44:51.699931454 +0200
-@@ -40,7 +40,7 @@
- endif
- 
- YOSYS_VER := 0.3.0+
--GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN)
-+GIT_REV := 9a6cd64
- OBJS = kernel/version_$(GIT_REV).o
- 
- # set 'ABCREV = default' to use abc/ as it is
diff --git a/debian/patches/series b/debian/patches/series
index a0ac9572..8a942691 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,5 @@
-gitrevision.diff
-removeabc.diff
-notruntests.diff
-installpath.diff
+01_gitrevision.patch
+02_removeabc.patch
+03_notruntests.patch
+04_installpath.patch
+05_abc_executable.patch