[ppl] 46/68: Imported Debian patch 0.11.2-8

[Andreas Tille]

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

tille pushed a commit to branch master
in repository ppl.

commit cada58f663492ab73ab7b9690821b60d511248d8
Author: Matthias Klose <doko at debian.org>
Date:   Wed Aug 15 15:56:30 2012 +0200

    Imported Debian patch 0.11.2-8
---
 debian/changelog              |  6 ++++++
 debian/control                | 19 +++++++++++++++++++
 debian/libppl0.11-dev.install |  3 ---
 debian/ppl-dev.install        |  2 ++
 4 files changed, 27 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index c4d2a11..f846f6e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+ppl (0.11.2-8) unstable; urgency=low
+
+  * Split out a ppl-dev package with the ppl-config binary.
+
+ -- Matthias Klose <doko at debian.org>  Wed, 15 Aug 2012 15:56:30 +0200
+
 ppl (0.11.2-7) unstable; urgency=low
 
   * Mark libppl0.11-dev as Multi-Arch: same again, and install the header
diff --git a/debian/control b/debian/control
index 0e65706..70dc9d0 100644
--- a/debian/control
+++ b/debian/control
@@ -50,6 +50,25 @@ Description: Parma Polyhedra Library (development)
  This package provides the header files and static libraries for the
  C and C++ interfaces.
 
+Package: ppl-dev
+Architecture: any
+Pre-Depends: ${misc:Pre-Depends}
+Section: devel
+Depends: libppl0.11-dev (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
+Replaces: libppl0.11-dev (<< 0.11.2-8~)
+Description: Parma Polyhedra Library (development binaries)
+ The Parma Polyhedra Library (PPL) is a C++ library for the
+ manipulation of (not necessarily closed) convex polyhedra and other
+ numerical abstractions.  The applications of convex polyhedra include
+ program analysis, optimized compilation, integer and combinatorial
+ optimization and statistical data-editing.  The Parma Polyhedra
+ Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
+ mean it), fully dynamic (available virtual memory is the only
+ limitation to the dimension of anything), written in standard C++,
+ exception-safe, rather efficient and thoroughly documented.
+ .
+ This package provides the ppl-config binary.
+
 Package: libppl-c4
 Architecture: any
 Multi-Arch: same
diff --git a/debian/libppl0.11-dev.install b/debian/libppl0.11-dev.install
index ef4dad2..03685cf 100644
--- a/debian/libppl0.11-dev.install
+++ b/debian/libppl0.11-dev.install
@@ -9,9 +9,6 @@ usr/lib/*/libppl_c.a
 usr/lib/*/libppl_c.so
 usr/share/man/man3/libppl_c.3
 
-/usr/bin/ppl-config
-usr/share/man/man1/ppl-config.1
-
 usr/share/aclocal/ppl.m4
 usr/share/aclocal/ppl_c.m4
 
diff --git a/debian/ppl-dev.install b/debian/ppl-dev.install
new file mode 100644
index 0000000..32d8a45
--- /dev/null
+++ b/debian/ppl-dev.install
@@ -0,0 +1,2 @@
+/usr/bin/ppl-config
+usr/share/man/man1/ppl-config.1

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