From 5a2c6845cfbc4cdb3ed73fcf7dadeea72fb35a4f Mon Sep 17 00:00:00 2001 From: Ruben Undheim Date: Wed, 5 Apr 2017 09:34:21 +0000 Subject: Disable pretty build --- debian/changelog | 7 +++++++ debian/patches/0007-Disable-pretty-build.patch | 21 +++++++++++++++++++++ debian/patches/series | 1 + 3 files changed, 29 insertions(+) create mode 100644 debian/patches/0007-Disable-pretty-build.patch diff --git a/debian/changelog b/debian/changelog index 4830bf90..7fbc64de 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 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 00000000..7c16ac9e --- /dev/null +++ b/debian/patches/0007-Disable-pretty-build.patch @@ -0,0 +1,21 @@ +From: Ruben Undheim +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 168b0e56..ea5639c7 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 -- cgit v1.2.3