On 21/09/15 08:54, Roberto Bagnara wrote:
> For the little I understand, I am in favor of the resolutions
> you propose, but I don't know how to implement them (I mean,
> without changing upstream code).
Upstream code should not change for this: it is purely a Debian thing.
Michael Tautschnig <m...@debian.org> is the maintainer, so I would expect
that any upload would either come from him, or be a non-maintainer
upload by someone who does general QA within Debian.
The necessary changes are something like the attached. Please test
before uploading (e.g. by building apron, cloog-ppl, polymake against
it) - I haven't tested it yet.
S
diffstat for ppl-1.1 ppl-1.1
changelog | 8 ++++++++
control | 10 ++++++----
libppl-c4.links | 2 +-
libppl-swi.links | 2 +-
libppl13.dirs | 1 -
libppl13.docs | 6 ------
libppl13.install | 1 -
libppl13v5.dirs | 1 +
libppl13v5.docs | 6 ++++++
libppl13v5.install | 1 +
10 files changed, 24 insertions(+), 14 deletions(-)
diff -Nru ppl-1.1/debian/changelog ppl-1.1/debian/changelog
--- ppl-1.1/debian/changelog 2015-08-25 21:36:51.000000000 +0100
+++ ppl-1.1/debian/changelog 2015-09-21 09:37:20.000000000 +0100
@@ -1,3 +1,11 @@
+ppl (1:1.1-6.1) UNRELEASED; urgency=medium
+
+ * Non-maintainer upload.
+ * Rename C++ library package for the libstdc++ v5 transition
+ (Closes: #799641)
+
+ -- Simon McVittie <s...@debian.org> Mon, 21 Sep 2015 09:36:34 +0100
+
ppl (1:1.1-6) unstable; urgency=low
* Re-adopting the package. Closes: #791996.
diff -Nru ppl-1.1/debian/control ppl-1.1/debian/control
--- ppl-1.1/debian/control 2015-08-25 21:32:45.000000000 +0100
+++ ppl-1.1/debian/control 2015-09-21 09:34:52.000000000 +0100
@@ -9,11 +9,13 @@
Build-Depends-Indep: doxygen-latex, graphviz, poppler-utils, ghostscript, texlive-math-extra
Homepage: http://www.cs.unipr.it/ppl/
-Package: libppl13
+Package: libppl13v5
Architecture: any
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Depends: ${shlibs:Depends}, ${misc:Depends}
+Conflicts: libppl13
+Replaces: libppl13
Description: Parma Polyhedra Library (runtime library)
The Parma Polyhedra Library (PPL) is a C++ library for the
manipulation of (not necessarily closed) convex polyhedra and other
@@ -30,7 +32,7 @@
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Section: libdevel
-Depends: libppl13 (= ${binary:Version}), libppl-c4 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
+Depends: libppl13v5 (= ${binary:Version}), libppl-c4 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
Provides: libppl-c-dev, libppl0.12-dev
Recommends: libgmp3-dev (>= 4.1.3)
# B+R: libppl6 can be removed after stretch was released
@@ -75,7 +77,7 @@
Architecture: any
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
-Depends: libppl13 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
+Depends: libppl13v5 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
Description: Parma Polyhedra Library (C interface)
The Parma Polyhedra Library (PPL) is a C++ library for the
manipulation of (not necessarily closed) convex polyhedra and other
@@ -110,7 +112,7 @@
Architecture: any
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
-Depends: libppl13 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}, swi-prolog
+Depends: libppl13v5 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}, swi-prolog
Description: Parma Polyhedra Library (SWI Prolog interface)
The Parma Polyhedra Library (PPL) is a C++ library for the
manipulation of (not necessarily closed) convex polyhedra and other
diff -Nru ppl-1.1/debian/libppl13.dirs ppl-1.1/debian/libppl13.dirs
--- ppl-1.1/debian/libppl13.dirs 2009-10-16 10:46:58.000000000 +0100
+++ ppl-1.1/debian/libppl13.dirs 1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-usr/lib
diff -Nru ppl-1.1/debian/libppl13.docs ppl-1.1/debian/libppl13.docs
--- ppl-1.1/debian/libppl13.docs 2012-07-22 11:02:06.000000000 +0100
+++ ppl-1.1/debian/libppl13.docs 1970-01-01 01:00:00.000000000 +0100
@@ -1,6 +0,0 @@
-BUGS
-NEWS
-README
-CREDITS
-
-interfaces/Prolog/SWI/README.swiprolog
diff -Nru ppl-1.1/debian/libppl13.install ppl-1.1/debian/libppl13.install
--- ppl-1.1/debian/libppl13.install 2011-10-10 17:49:48.000000000 +0100
+++ ppl-1.1/debian/libppl13.install 1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-usr/lib/*/libppl.so.*
diff -Nru ppl-1.1/debian/libppl13v5.dirs ppl-1.1/debian/libppl13v5.dirs
--- ppl-1.1/debian/libppl13v5.dirs 1970-01-01 01:00:00.000000000 +0100
+++ ppl-1.1/debian/libppl13v5.dirs 2009-10-16 10:46:58.000000000 +0100
@@ -0,0 +1 @@
+usr/lib
diff -Nru ppl-1.1/debian/libppl13v5.docs ppl-1.1/debian/libppl13v5.docs
--- ppl-1.1/debian/libppl13v5.docs 1970-01-01 01:00:00.000000000 +0100
+++ ppl-1.1/debian/libppl13v5.docs 2012-07-22 11:02:06.000000000 +0100
@@ -0,0 +1,6 @@
+BUGS
+NEWS
+README
+CREDITS
+
+interfaces/Prolog/SWI/README.swiprolog
diff -Nru ppl-1.1/debian/libppl13v5.install ppl-1.1/debian/libppl13v5.install
--- ppl-1.1/debian/libppl13v5.install 1970-01-01 01:00:00.000000000 +0100
+++ ppl-1.1/debian/libppl13v5.install 2011-10-10 17:49:48.000000000 +0100
@@ -0,0 +1 @@
+usr/lib/*/libppl.so.*
diff -Nru ppl-1.1/debian/libppl-c4.links ppl-1.1/debian/libppl-c4.links
--- ppl-1.1/debian/libppl-c4.links 2013-05-09 16:18:28.000000000 +0100
+++ ppl-1.1/debian/libppl-c4.links 2015-09-21 09:34:16.000000000 +0100
@@ -1 +1 @@
-usr/share/doc/libppl13 usr/share/doc/libppl-c4
+usr/share/doc/libppl13v5 usr/share/doc/libppl-c4
diff -Nru ppl-1.1/debian/libppl-swi.links ppl-1.1/debian/libppl-swi.links
--- ppl-1.1/debian/libppl-swi.links 2013-05-09 16:18:23.000000000 +0100
+++ ppl-1.1/debian/libppl-swi.links 2015-09-21 09:34:12.000000000 +0100
@@ -1 +1 @@
-usr/share/doc/libppl13 usr/share/doc/libppl-swi
+usr/share/doc/libppl13v5 usr/share/doc/libppl-swi
