[yosys] 08/57: Fixed a few issues with the deb package

[Ruben Undheim]

This is an automated email from the git hooks/post-receive script.

rubund-guest pushed a commit to branch master
in repository yosys.

commit a9bf4a6df52bb49ba1139657436062527b13f634
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Sun Apr 13 03:12:44 2014 +0200

    Fixed a few issues with the deb package
---
 debian/changelog              |  2 +-
 debian/install                | 10 ++++++++++
 debian/patches/removeabc.diff | 24 ++++++++++++++----------
 debian/yosys.install          |  4 ----
 4 files changed, 25 insertions(+), 15 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 23b3533..33b5f2c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-yosys (0.2.0+-4~precise) precise; urgency=low
+yosys (0.2.0+-5~precise) precise; urgency=low
 
   * First ubuntu package of yosys 
 
diff --git a/debian/install b/debian/install
new file mode 100644
index 0000000..6df6c51
--- /dev/null
+++ b/debian/install
@@ -0,0 +1,10 @@
+yosys usr/bin
+yosys-filterlib usr/bin
+yosys-svgviewer usr/bin
+yosys-config usr/bin
+share/simcells.v usr/share/yosys/simcells.v
+share/xilinx/cells.v usr/share/yosys/xilinx/cells.v
+share/simlib.v usr/share/yosys/simlib.v
+share/pmux2mux.v usr/share/yosys/pmux2mux.v
+share/blackbox.v usr/share/yosys/blackbox.v
+
diff --git a/debian/patches/removeabc.diff b/debian/patches/removeabc.diff
index 4011ba9..90eb6b9 100644
--- a/debian/patches/removeabc.diff
+++ b/debian/patches/removeabc.diff
@@ -26,14 +26,18 @@ Index: yosys-0.2.0+/tests/tools/autotest.sh
  	}
 Index: yosys-0.2.0+/Makefile
 ===================================================================
---- yosys-0.2.0+.orig/Makefile	2014-04-13 00:18:29.640009786 +0200
-+++ yosys-0.2.0+/Makefile	2014-04-13 00:30:39.800015992 +0200
-@@ -6,7 +6,7 @@
- # features (the more the better)
- ENABLE_TCL := 1
- ENABLE_QT4 := 1
--ENABLE_ABC := 1
-+ENABLE_ABC := 0
- ENABLE_VERIFIC := 0
+--- yosys-0.2.0+.orig/Makefile	2014-04-13 02:59:27.656091856 +0200
++++ yosys-0.2.0+/Makefile	2014-04-13 02:59:49.564092043 +0200
+@@ -85,9 +85,9 @@
+ TARGETS += yosys-svgviewer
+ endif
  
- # other configuration flags
+-ifeq ($(ENABLE_ABC),1)
+-TARGETS += yosys-abc
+-endif
++#ifeq ($(ENABLE_ABC),1)
++#TARGETS += yosys-abc
++#endif
+ 
+ ifeq ($(ENABLE_VERIFIC),1)
+ VERIFIC_DIR ?= /usr/local/src/verific_lib_eval
diff --git a/debian/yosys.install b/debian/yosys.install
deleted file mode 100644
index 2d0ee2b..0000000
--- a/debian/yosys.install
+++ /dev/null
@@ -1,4 +0,0 @@
-yosys usr/bin
-yosys-filterlib usr/bin
-yosys-svgviewer usr/bin
-yosys-config usr/bin

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git