diff options
| -rw-r--r-- | debian/changelog | 8 | ||||
| -rw-r--r-- | debian/copyright | 4 | ||||
| -rw-r--r-- | debian/patches/01-build.patch | 19 | ||||
| -rw-r--r-- | debian/patches/series | 1 | ||||
| -rwxr-xr-x | debian/rules | 2 | ||||
| -rw-r--r-- | debian/source/options | 2 |
6 files changed, 32 insertions, 4 deletions
diff --git a/debian/changelog b/debian/changelog index 7d0f826..040f158 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +plzip (0.9-2) unstable; urgency=low + + * Switching to xz compression. + * Using proper name for license exception in copyright file. + * Adding patch to not overwrite buildflags. + + -- Daniel Baumann <daniel.baumann@progress-technologies.net> Sat, 30 Jun 2012 12:49:51 +0200 + plzip (0.9-1) unstable; urgency=low * Merging upstream version 0.9. diff --git a/debian/copyright b/debian/copyright index c71997f..ea50c2e 100644 --- a/debian/copyright +++ b/debian/copyright @@ -10,7 +10,7 @@ License: GPL-3+ Files: arg_parser.* Copyright: 2006-2012 Antonio Diaz Diaz <ant_diaz@teleline.es> -License: GPL-3+ with exception +License: GPL-3+ with Library exception Files: debian/* Copyright: 2009-2012 Daniel Baumann <daniel.baumann@progress-technologies.net> @@ -33,7 +33,7 @@ License: GPL-3+ The complete text of the GNU General Public License can be found in /usr/share/common-licenses/GPL-3 file. -License: GPL-3+ with exception +License: GPL-3+ with Library exception This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or diff --git a/debian/patches/01-build.patch b/debian/patches/01-build.patch new file mode 100644 index 0000000..ec6897e --- /dev/null +++ b/debian/patches/01-build.patch @@ -0,0 +1,19 @@ +Author: Daniel Baumann <daniel.baumann@progress-technologies.net> +Description: Avoid overwriting build-environment. + +diff -Naurp plzip.orig/configure plzip/configure +--- plzip.orig/configure 2012-06-27 16:06:34.898944777 +0200 ++++ plzip/configure 2012-06-30 12:47:21.829197850 +0200 +@@ -23,9 +23,9 @@ datarootdir='$(prefix)/share' + infodir='$(datarootdir)/info' + mandir='$(datarootdir)/man' + CXX= +-CPPFLAGS= +-CXXFLAGS='-Wall -W -O2' +-LDFLAGS= ++#CPPFLAGS= ++#CXXFLAGS='-Wall -W -O2' ++#LDFLAGS= + + # Loop over all args + while [ -n "$1" ] ; do diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..605653d --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +01-build.patch diff --git a/debian/rules b/debian/rules index 8c23d00..948131f 100755 --- a/debian/rules +++ b/debian/rules @@ -17,7 +17,7 @@ override_dh_auto_test: endif override_dh_builddeb: - dh_builddeb -- -Zgzip -z9 + dh_builddeb -- -Zxz -z9 override_dh_strip: dh_strip --dbg-package=plzip-dbg diff --git a/debian/source/options b/debian/source/options index d053b65..22a4de9 100644 --- a/debian/source/options +++ b/debian/source/options @@ -1,2 +1,2 @@ -compression = gzip +compression = xz compression-level = 9 |