[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