[yosys] 01/01: Disable pretty build

Ruben Undheim rubund-guest at moszumanska.debian.org
Wed Apr 5 09:37:41 UTC 2017


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

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

commit 5a2c6845cfbc4cdb3ed73fcf7dadeea72fb35a4f
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Wed Apr 5 09:34:21 2017 +0000

    Disable pretty build
---
 debian/changelog                               |  7 +++++++
 debian/patches/0007-Disable-pretty-build.patch | 21 +++++++++++++++++++++
 debian/patches/series                          |  1 +
 3 files changed, 29 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 4830bf9..7fbc64d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+yosys (0.7-3~exp1) UNRELEASED; urgency=low
+
+  * debian/patches/0007-Disable-pretty-build.patch:
+    - New patch to disable pretty build (Closes: #847110)
+
+ -- Ruben Undheim <ruben.undheim at gmail.com>  Wed, 05 Apr 2017 09:33:20 +0000
+
 yosys (0.7-2) unstable; urgency=medium
 
   * debian/control:
diff --git a/debian/patches/0007-Disable-pretty-build.patch b/debian/patches/0007-Disable-pretty-build.patch
new file mode 100644
index 0000000..7c16ac9
--- /dev/null
+++ b/debian/patches/0007-Disable-pretty-build.patch
@@ -0,0 +1,21 @@
+From: Ruben Undheim <ruben.undheim at gmail.com>
+Date: Wed, 5 Apr 2017 09:31:37 +0000
+Subject: Disable pretty build
+
+---
+ Makefile | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/Makefile b/Makefile
+index f26a6e0..8979641 100644
+--- a/Makefile
++++ b/Makefile
+@@ -41,7 +41,7 @@ EXTRA_OBJS =
+ EXTRA_TARGETS =
+ TARGETS = yosys$(EXE) yosys-config
+ 
+-PRETTY = 1
++PRETTY = 0
+ SMALL = 0
+ 
+ all: top-all
diff --git a/debian/patches/series b/debian/patches/series
index 168b0e5..ea5639c 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@
 switch-to-free-font.patch
 manual-build.patch
 kfreebsd-support.patch
+0007-Disable-pretty-build.patch

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



More information about the debian-science-commits mailing list