[ppl] 59/68: Imported Debian patch 1:1.1-1
Andreas Tille
tille at debian.org
Sat Nov 12 08:42:17 UTC 2016
This is an automated email from the git hooks/post-receive script.
tille pushed a commit to branch master
in repository ppl.
commit 35841c2e7a309302ce6aed88bda1a1d07dfb102d
Merge: 5e1bfc0 24f27ca
Author: Matthias Klose <doko at debian.org>
Date: Wed Mar 19 15:27:52 2014 +0100
Imported Debian patch 1:1.1-1
CREDITS | 9 +
ChangeLog | 2696 +
Makefile.am | 4 +-
Makefile.in | 241 +-
NEWS | 9 +-
aclocal.m4 | 338 +-
compile | 2 +-
config.guess | 167 +-
config.sub | 55 +-
configure | 691 +-
configure.ac | 2 +-
debian/changelog | 8 +
debian/control | 7 +-
debian/patches/gcc-4.9.diff | 305 +
debian/patches/link-tests.diff | 171 +
debian/patches/local_changes.diff | 8 +-
debian/patches/series | 2 +
debian/rules | 34 +-
demos/Makefile.in | 189 +-
demos/ppl_lcdd/Makefile.in | 236 +-
demos/ppl_lcdd/examples/Makefile.in | 90 +-
demos/ppl_lcdd/ppl_lcdd.1 | 4 +-
demos/ppl_lpsol/Makefile.am | 2 +-
demos/ppl_lpsol/Makefile.in | 246 +-
demos/ppl_lpsol/examples/Makefile.in | 90 +-
demos/ppl_lpsol/examples/blend.mps | 717 +-
demos/ppl_lpsol/examples/sample.mps | 30 +-
demos/ppl_lpsol/ppl_lpsol.1 | 4 +-
demos/ppl_lpsol/ppl_lpsol.c | 151 +-
demos/ppl_pips/Makefile.in | 236 +-
demos/ppl_pips/examples/Makefile.in | 90 +-
demos/ppl_pips/ppl_pips.1 | 4 +-
depcomp | 410 +-
doc/Makefile.in | 117 +-
doc/definitions.dox | 77 +-
doc/devref-language-interface.doxyconf.in | 20 +-
doc/devref-language-interface.tex | 1 +
doc/devref.doxyconf-html.in | 20 +-
doc/devref.doxyconf-latex.in | 20 +-
doc/devref.tex | 1 +
doc/fdl.pdf | Bin 81942 -> 77376 bytes
doc/fdl.ps.gz | Bin 94026 -> 100473 bytes
doc/gpl.pdf | Bin 75174 -> 69984 bytes
doc/gpl.ps.gz | Bin 88038 -> 98913 bytes
doc/ppl-config.1 | 4 +-
doc/ppl-user-1.1-html.tar.gz | Bin 0 -> 1929177 bytes
doc/ppl-user-1.1.pdf | Bin 0 -> 2813705 bytes
doc/ppl-user-1.1.ps.gz | Bin 0 -> 2698834 bytes
doc/ppl-user-1.1pre8-html.tar.gz | Bin 1818929 -> 0 bytes
doc/ppl-user-1.1pre8.pdf | 133937 ------------------
doc/ppl-user-1.1pre8.ps.gz | Bin 2634101 -> 0 bytes
doc/ppl-user-c-interface-1.1-html.tar.gz | Bin 0 -> 315443 bytes
doc/ppl-user-c-interface-1.1.pdf | Bin 0 -> 631543 bytes
doc/ppl-user-c-interface-1.1.ps.gz | Bin 0 -> 645091 bytes
doc/ppl-user-c-interface-1.1pre8-html.tar.gz | Bin 310094 -> 0 bytes
doc/ppl-user-c-interface-1.1pre8.pdf | 26574 ----
doc/ppl-user-c-interface-1.1pre8.ps.gz | Bin 568710 -> 0 bytes
doc/ppl-user-java-interface-1.1-html.tar.gz | Bin 0 -> 441271 bytes
doc/ppl-user-java-interface-1.1.pdf | Bin 0 -> 684377 bytes
doc/ppl-user-java-interface-1.1.ps.gz | Bin 0 -> 639840 bytes
doc/ppl-user-java-interface-1.1pre8-html.tar.gz | Bin 425396 -> 0 bytes
doc/ppl-user-java-interface-1.1pre8.pdf | 26401 ----
doc/ppl-user-java-interface-1.1pre8.ps.gz | Bin 627231 -> 0 bytes
doc/ppl-user-ocaml-interface-1.1-html.tar.gz | Bin 0 -> 140952 bytes
doc/ppl-user-ocaml-interface-1.1.pdf | Bin 0 -> 270568 bytes
doc/ppl-user-ocaml-interface-1.1.ps.gz | Bin 0 -> 328924 bytes
doc/ppl-user-ocaml-interface-1.1pre8-html.tar.gz | Bin 135016 -> 0 bytes
doc/ppl-user-ocaml-interface-1.1pre8.pdf | Bin 354237 -> 0 bytes
doc/ppl-user-ocaml-interface-1.1pre8.ps.gz | Bin 310130 -> 0 bytes
doc/ppl-user-prolog-interface-1.1-html.tar.gz | Bin 0 -> 143342 bytes
doc/ppl-user-prolog-interface-1.1.pdf | Bin 0 -> 309488 bytes
doc/ppl-user-prolog-interface-1.1.ps.gz | Bin 0 -> 382534 bytes
doc/ppl-user-prolog-interface-1.1pre8-html.tar.gz | Bin 137916 -> 0 bytes
doc/ppl-user-prolog-interface-1.1pre8.pdf | Bin 360518 -> 0 bytes
doc/ppl-user-prolog-interface-1.1pre8.ps.gz | Bin 344441 -> 0 bytes
doc/ppl.bib | 51 +
doc/ppl_citations.bib | 21 -
doc/user-language-interface.doxyconf.in | 20 +-
doc/user-language-interface.tex | 1 +
doc/user.doxyconf-html.in | 20 +-
doc/user.doxyconf-latex.in | 20 +-
doc/user.tex | 1 +
interfaces/C/Makefile.in | 192 +-
interfaces/C/ppl_c.h.dist | 13 +-
interfaces/C/ppl_interface_generator_c_cc_code.m4 | 21 +
interfaces/C/ppl_interface_generator_c_h_code.m4 | 9 +
interfaces/C/tests/Makefile.am | 4 +-
interfaces/C/tests/Makefile.in | 637 +-
interfaces/Java/Makefile.in | 191 +-
interfaces/Java/jni/Makefile.in | 135 +-
...ppl_interface_generator_java_classes_cc_code.m4 | 17 +-
interfaces/Java/jni/ppl_java_common.cc | 5 +-
interfaces/Java/jni/ppl_java_common_inlines.hh | 3 +-
.../Java/parma_polyhedra_library/Makefile.in | 88 +-
...l_interface_generator_java_classes_java_code.m4 | 12 +-
interfaces/Java/tests/C_Polyhedron_test1.java | 11 +
interfaces/Java/tests/Makefile.in | 90 +-
interfaces/Java/tests/Test_Executor.java | 2 +-
.../ppl_interface_generator_java_test_java_code.m4 | 14 +
interfaces/Makefile.in | 192 +-
interfaces/OCaml/Makefile.in | 213 +-
.../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 33 +-
.../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 8 +
.../ppl_interface_generator_ocaml_mli_code.m4 | 7 +
interfaces/OCaml/ppl_ocaml_common.cc | 9 +-
interfaces/OCaml/tests/Makefile.in | 637 +-
interfaces/Prolog/Ciao/Makefile.am | 2 +
interfaces/Prolog/Ciao/Makefile.in | 157 +-
interfaces/Prolog/GNU/Makefile.am | 2 +
interfaces/Prolog/GNU/Makefile.in | 145 +-
interfaces/Prolog/GNU/gprolog_efli.cc | 13 +-
interfaces/Prolog/Makefile.in | 190 +-
interfaces/Prolog/SICStus/Makefile.am | 2 +
interfaces/Prolog/SICStus/Makefile.in | 144 +-
interfaces/Prolog/SWI/Makefile.am | 2 +
interfaces/Prolog/SWI/Makefile.in | 147 +-
interfaces/Prolog/XSB/Makefile.am | 2 +
interfaces/Prolog/XSB/Makefile.in | 154 +-
interfaces/Prolog/YAP/Makefile.am | 2 +
interfaces/Prolog/YAP/Makefile.in | 157 +-
.../ppl_interface_generator_prolog_cc_code.m4 | 28 +
.../ppl_interface_generator_prolog_hh_code.m4 | 7 +
interfaces/Prolog/tests/Makefile.in | 90 +-
...erface_generator_common_procedure_generators.m4 | 1 +
m4/Makefile.in | 90 +-
missing | 405 +-
ppl-config.h.in | 411 +
src/CREDITS.cc.dist | 11 +-
src/CREDITS.hh.dist | 2 +-
src/C_Polyhedron.cc | 9 +
src/C_Polyhedron_defs.hh | 11 +
src/Dense_Row_defs.hh | 2 +-
src/Makefile.in | 160 +-
src/NNC_Polyhedron_defs.hh | 11 +
src/NNC_Polyhedron_inlines.hh | 5 +
src/Polyhedron_conversion_templates.hh | 4 +
src/Polyhedron_defs.hh | 20 +
src/Polyhedron_nonpublic.cc | 153 +-
src/globals_defs.hh | 5 +
src/ppl.hh.dist | 1406 +-
test-driver | 127 +
tests/BD_Shape/Makefile.am | 2 +
tests/BD_Shape/Makefile.in | 226 +-
tests/Box/Makefile.am | 2 +
tests/Box/Makefile.in | 226 +-
tests/CO_Tree/Makefile.in | 586 +-
tests/Concrete_Expression/Makefile.am | 2 +
tests/Concrete_Expression/Makefile.in | 166 +-
tests/Grid/Makefile.am | 3 +-
tests/Grid/Makefile.in | 1333 +-
tests/Grid/asciidumpload2.cc | 28 +-
tests/MIP_Problem/Makefile.in | 626 +-
tests/Makefile.in | 211 +-
tests/Octagonal_Shape/Makefile.am | 2 +
tests/Octagonal_Shape/Makefile.in | 225 +-
tests/PIP_Problem/Makefile.in | 626 +-
tests/Partially_Reduced_Product/Makefile.in | 947 +-
tests/Polyhedron/Makefile.am | 3 +
tests/Polyhedron/Makefile.in | 2235 +-
tests/Polyhedron/nncpostimeelapse1.cc | 432 +
tests/Powerset/Makefile.in | 906 +-
tests/Watchdog/Makefile.in | 586 +-
utils/Makefile.in | 150 +-
163 files changed, 18146 insertions(+), 192551 deletions(-)
diff --cc debian/changelog
index 4c0598d,0000000..7b26bb0
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,419 -1,0 +1,427 @@@
++ppl (1:1.1-1) unstable; urgency=medium
++
++ * New upstream version.
++ * Build using dh-autoreconf.
++ * Fix build failures with GCC 4.9.
++
++ -- Matthias Klose <doko at debian.org> Wed, 19 Mar 2014 15:27:52 +0100
++
+ppl (1:1.1~pre8-1) experimental; urgency=low
+
+ * ppl snapshot 1.1pre8.
+ * Bump libppl soversion.
+ * Rename libppl0.12-dev to libppl-dev.
+
+ -- Matthias Klose <doko at debian.org> Thu, 09 May 2013 13:16:42 +0200
+
+ppl (1:1.0-7) medium; urgency=low
+
+ * Fix typo in libppl-doc dependencies.
+ * Proper fix to build with both gmp 5.0 and 5.1.
+
+ -- Matthias Klose <doko at debian.org> Thu, 09 May 2013 12:46:30 +0200
+
+ppl (1:1.0-6) unstable; urgency=low
+
+ * Fix build failure with gmp-5.1.
+
+ -- Matthias Klose <doko at debian.org> Mon, 06 May 2013 17:53:04 +0200
+
+ppl (1:1.0-5) unstable; urgency=low
+
+ * Upload to unstable.
+
+ -- Matthias Klose <doko at debian.org> Mon, 06 May 2013 15:44:07 +0200
+
+ppl (1:1.0-4) experimental; urgency=low
+
+ * Ignore test failures on s390x. No feedback from the Debian porters.
+
+ -- Matthias Klose <doko at debian.org> Sat, 09 Feb 2013 17:21:45 +0100
+
+ppl (1:1.0-3) experimental; urgency=low
+
+ * Bump the epoch (and the release number, because the archive software
+ can't handle 1:1.0-2 after an 1.0-2 upload), upload to experimental
+ this time.
+
+ -- Matthias Klose <doko at debian.org> Thu, 31 Jan 2013 22:31:14 +0100
+
+ppl (1.0-2) unstable; urgency=low
+
+ * Fix build failure in testsuite on sparc, s390, s390x.
+ * Don't try to build the prolog bindings on arm64 and hurd-i386.
+
+ -- Matthias Klose <doko at debian.org> Thu, 31 Jan 2013 13:45:12 +0100
+
+ppl (1.0-1) experimental; urgency=low
+
+ * New upstream version. Closes: #680897.
+
+ -- Matthias Klose <doko at debian.org> Sun, 27 Jan 2013 23:15:02 +0100
+
+ppl (1:0.11.2-9) unstable; urgency=low
+
+ * Bump epoch to overwrite an upload of ppl-1.0 to unstable.
+
+ -- Matthias Klose <doko at debian.org> Thu, 31 Jan 2013 16:22:27 +0100
+
+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
+ files in the multiarch include path.
+ Needs a follow-up patch to split out the ppl-config binary.
+ * Disable the build of the swi prolog bindings for DEB_STAGE 1 builds.
+ Closes: #645003.
+
+ -- Matthias Klose <doko at debian.org> Tue, 07 Aug 2012 12:49:10 +0200
+
+ppl (0.11.2-6.2) unstable; urgency=low
+
+ * Non-maintainer upload.
+
+ [ Colin Watson <cjwatson at ubuntu.com> ]
+ * Build the test suite with -gstabs rather than -g on powerpc, to avoid
+ running out of memory, see Ubuntu bug #941676 (Closes: #683767)
+
+ -- Nicolas Boulenguez <nicolas.boulenguez at free.fr> Fri, 03 Aug 2012 18:50:55 +0200
+
+ppl (0.11.2-6.1) unstable; urgency=low
+
+ * Non-maintainer upload.
+
+ [ Artur Rona <ari-tczew at tlen.pl> ]
+ * debian/control: Add libncursesw5-dev to Build-Depends due to
+ missing library, fixes FTBFS. (Closes: #669479)
+
+ [ Nicolas Boulenguez ]
+ * Remove usr/bin/ppl_pl from libppl-swi multiarch package (see #670024).
+ Document equivalent functionality with the shared library.
+ * control: libppl0.11-dev cannot be Multi-Arch: same because it contains
+ arch-dependent headers (see #670025).
+ * avoid_obsolete_installdox.patch: backport part of an upstream commit.
+ Doxygen 1.8 does not use installdox anymore. (Closes: #680896)
+
+ -- Nicolas Boulenguez <nicolas.boulenguez at free.fr> Tue, 17 Jul 2012 23:26:41 +0200
+
+ppl (0.11.2-6) unstable; urgency=low
+
+ * Build-depend on libncurses5-dev, until swi-prolog-nox depends on it.
+
+ -- Matthias Klose <doko at debian.org> Tue, 11 Oct 2011 12:14:46 +0200
+
+ppl (0.11.2-5) unstable; urgency=low
+
+ * Install into multiarch locations.
+ * Use dpkg-buildflags to set CFLAGS/LDFLAGS.
+ * Move changes into patch file. Closes: #643253.
+
+ -- Matthias Klose <doko at debian.org> Mon, 10 Oct 2011 18:45:44 +0200
+
+ppl (0.11.2-4) unstable; urgency=low
+
+ * Patch away unused variables. Closes: #625417.
+ * Don't ship libppl_swiprolog.la. Closes: #633365.
+
+ -- Michael Tautschnig <mt at debian.org> Sun, 10 Jul 2011 12:05:38 +0200
+
+ppl (0.11.2-3) unstable; urgency=low
+
+ * Build-depends-indep: re-added texlive-math-extra. Closes: #618148.
+
+ -- Michael Tautschnig <mt at debian.org> Mon, 14 Mar 2011 19:57:06 +0100
+
+ppl (0.11.2-2) unstable; urgency=low
+
+ * Build-depends libgmp-dev instead of libgmp3-dev.
+
+ -- Michael Tautschnig <mt at debian.org> Tue, 08 Mar 2011 01:14:00 +0100
+
+ppl (0.11.2-1) unstable; urgency=low
+
+ * New upstream version.
+ * Upload to unstable.
+ * Build-depend on doxygen-latex instead of latex-xcolor and texlive-* stuff.
+ Closes: #616275.
+ * Refined watch file pattern.
+
+ -- Michael Tautschnig <mt at debian.org> Thu, 03 Mar 2011 12:50:57 +0100
+
+ppl (0.11-3) experimental; urgency=low
+
+ * Build-depend on latex-xcolor. Closes: #606277,#606233.
+ * libppl0.11-dev: Conflicts with libppl0.10-dev. Closes: #608454.
+ * Thanks Matthias Klose for doing all the work.
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 19 Jan 2011 21:55:49 +0100
+
+ppl (0.11-2) experimental; urgency=low
+
+ * Again disable 2 Prolog tests as there is some failure on PowerPC only that
+ I'm unable to debug (see also 0.10.2-5).
+
+ -- Michael Tautschnig <mt at debian.org> Sun, 07 Nov 2010 19:39:32 +0100
+
+ppl (0.11-1) experimental; urgency=low
+
+ * New upstream release.
+ - Dropped all patches as these issues have been fixed upstream.
+ - Re-enabled Prolog interface on m68k as swi-prolog is now handled more
+ flexibly by upstream.
+ - SONAME bumps: libppl7 -> libppl9, libppl-c2 -> libppl-c4, libpwl4 ->
+ libpwl5
+ * Use release directories in watch file for better reliablity (upstream
+ hasn't updated LATEST link).
+
+ -- Michael Tautschnig <mt at debian.org> Sun, 31 Oct 2010 13:41:36 +0100
+
+ppl (0.10.2-9) unstable; urgency=low
+
+ * m68k hasn't fully caught up yet, don't build PPL Prolog interface on m68k.
+ Closes: #601445.
+ * Re-enabled Prolog interface on kfreebsd-* as swi-prolog is now available.
+
+ -- Michael Tautschnig <mt at debian.org> Tue, 26 Oct 2010 14:18:12 +0200
+
+ppl (0.10.2-8) unstable; urgency=low
+
+ * Ignore testsuite failures on armel as these seem to be caused by
+ miscompilation, see #593324.
+ * No more swi-prolog on mips, don't build PPL Prolog interface on mips.
+ Closes: #593393.
+
+ -- Michael Tautschnig <mt at debian.org> Mon, 06 Sep 2010 12:31:59 +0200
+
+ppl (0.10.2-7) unstable; urgency=low
+
+ * Drop xpdf-utils from build depends to fix FTBFS. Closes: #591155.
+ * Bumped Standars-Version to 3.9.1 (no changes).
+ * Specifically require automake1.10 as we modify some Makefile.am.
+ * swi-prolog now ships executable linker as swipl-ld.
+
+ -- Michael Tautschnig <mt at debian.org> Sun, 01 Aug 2010 12:22:05 +0200
+
+ppl (0.10.2-6) unstable; urgency=low
+
+ * Another bugfix to work around incomplete signal handling on hurd.
+
+ -- Michael Tautschnig <mt at debian.org> Tue, 02 Mar 2010 16:08:49 +0100
+
+ppl (0.10.2-5) unstable; urgency=low
+
+ * Dropped versioned build dep on libgmp3-dev as even etch has a sufficiently
+ new version.
+ * Dropped build dep on quilt.
+ * Added upstream patches to work around incomplete signal handling on hurd.
+ * Disable 2 Prolog tests as there is some failure on PowerPC only that I'm
+ unable to debug. Closes: #570387.
+
+ -- Michael Tautschnig <mt at debian.org> Sun, 28 Feb 2010 10:35:31 +0100
+
+ppl (0.10.2-4) unstable; urgency=low
+
+ * Switch to dpkg-source 3.0 (quilt) format, removed quilt-related code from
+ debian/rules.
+ * Bumped Standars-Version to 3.8.4 (no changes).
+ * Added ${misc:Depends} as we are using debhelper.
+ * Build SWI-Prolog bindings on linux architectures only as swi-prolog is not
+ available on others.
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 03 Feb 2010 00:11:22 +0100
+
+ppl (0.10.2-3) unstable; urgency=low
+
+ * Bumped Standars-Version to 3.8.3 (no changes).
+ * Added README.source.
+ * Added current upstream patches for 0.10.2.
+ * Don't watch snapshots, only do stable releases.
+ * Added SWI-Prolog bindings (new package libppl-swi, thanks Israel Herraiz
+ <isra at herraiz.org>). Closes: #540083.
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 16 Oct 2009 12:33:08 +0200
+
+ppl (0.10.2-2) unstable; urgency=low
+
+ * debian/rules: Use findstring instead of filter. This should really run
+ the testsuite with -k on alpha.
+
+ -- Arthur Loiret <aloiret at debian.org> Sun, 24 May 2009 07:49:26 +0000
+
+ppl (0.10.2-1) unstable; urgency=medium
+
+ * New upstream release.
+ * Build-Depends-Indep on xpdf-utils | poppler-utils instead of xpdf-utils.
+ * Run the testsuite with -k, and never fail the build in case of regressions
+ on alpha. (this will change when graphite will be used by default in GCC).
+ * debian/patches/exception_tests_alpha: Remove.
+
+ -- Arthur Loiret <aloiret at debian.org> Mon, 11 May 2009 22:08:57 +0000
+
+ppl (0.10.1~pre13-1) unstable; urgency=medium
+
+ * New upstream snapshot.
+ - Dropped patch for bigendian issues.
+ * urgency=medium because of FTBFS workaround.
+ * Disabled more tests on alpha - exception handling is utterly broken on
+ alpha, which will also affect users of PPL on that architecture (probably
+ GCC PR 8966) as raised exception cause immediate aborts.
+ * Re-enabled Build-Depends-Indep and adapted rules accordingly.
+ Closes: #517659.
+ * Bumped Standars-Version to 3.8.1 (no changes).
+ * Updated copyright information for several files that had been added in
+ 0.10 and also have a specific license.
+ * Added comments to quilt patch (thanks lintian).
+ * Added one sentence explaining the difference between libpwl4 und
+ libpwl-dev (thanks lintian).
+ * Dropped the ChangeLog hackery using symlinks, the ChangeLog is pretty
+ small nowadays.
+ * Moved pwl.hh to libpwl-dev package.
+
+ -- Michael Tautschnig <mt at debian.org> Mon, 13 Apr 2009 08:04:52 +0200
+
+ppl (0.10-4) unstable; urgency=medium
+
+ * urgency=medium because of FTBFS workaround.
+ * With #229357 still being open, we can't use Build-Depends-Indep the way
+ policy suggests. It would have been too beautiful anyway.
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 20 Feb 2009 10:11:26 +0100
+
+ppl (0.10-3) unstable; urgency=medium
+
+ * urgency=medium because of FTBFS workaround.
+ * Exclude test11-test18 of generalizedaffineimage3.cc on alpha because of
+ bugs in gcc/exception handling.
+ * Moved the dependencies needed for building the documentation to
+ Build-Depends-Indep.
+ * Introducing quilt to manage patches.
+
+ -- Michael Tautschnig <mt at debian.org> Tue, 17 Feb 2009 09:10:34 +0100
+
+ppl (0.10-2) unstable; urgency=high
+
+ * urgency=high because of RC bug fix.
+ * Check snapshots and releases for newer versions.
+ * Proper defines on bigendian systems. Closes: #514158.
+ * Don't ignore errors while running make check (this would have made visible
+ the above bug immediately).
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 04 Feb 2009 20:42:26 +0100
+
+ppl (0.10-1) unstable; urgency=low
+
+ * New upstream release.
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 05 Nov 2008 06:54:23 +0000
+
+ppl (0.10~pre34-1) unstable; urgency=low
+
+ [ Arthur Loiret ]
+ * New upstream snapshot.
+ * Fix build on arm. Closes: #499746.
+ * debian/libp[pw]l-dev.preinst: handle /usr/share/doc/libp[pw]l
+ symlink->directory conversion.
+ * debian/rules:
+ - Disable DH_VERBOSE by default.
+ - Some cleanup.
+ * debian/Makefile.in: Update from upstream.
+
+ [ Michael Tautschnig ]
+ * Added ocaml-nox to build-depends.
+ * Bumped libppl-c library version.
+
+ -- Michael Tautschnig <mt at debian.org> Tue, 07 Oct 2008 22:36:39 +0000
+
+ppl (0.10~pre27-4) unstable; urgency=low
+
+ * debian/rules:
+ - Always copy config.sub an config.guess since we Build-Depends on
+ autotools-dev.
+ - Fix targets to have testsuite runs.
+ - Add check to .PHONY.
+ * Move ppl_lcdd and ppl_lpsol binaries and manpages from libppl7 to
+ libppl-dev, make libppl-dev Replaces libppl7 (<< 0.10~pre27-4).
+ Closes: #499832.
+ * Make libppl-dev Replaces libppl6, ppl-config binary has moved.
+ Closes: #499830.
+ * Make libpwl-dev Replaces libpwl3, /usr/bin/libpwl.a has moved.
+ Closes: #499937.
+ * Only install huge ChangeLog into libppl-dev and libpwl-dev.
+ - Don't symlink libppl-dev /usr/share/doc dir to libppl7.
+ - Add symlinks for changelog.gz to libppl7, libppl-c0 and libpwl4.
+
+ -- Arthur Loiret <arthur.loiret at gmail.com> Tue, 23 Sep 2008 19:53:51 +0000
+
+ppl (0.10~pre27-3) unstable; urgency=low
+
+ * Properly install ppl-config into libppl-dev package, including man page,
+ dont't put it into libppl7, removed ppl_lcdd from -dev, is in libppl7
+
+ -- Michael Tautschnig <mt at debian.org> Thu, 11 Sep 2008 19:15:37 +0000
+
+ppl (0.10~pre27-2) unstable; urgency=low
+
+ * debian/rules: set texmf save_size to 10000 when building the docs
+ * debian/control: libppl-dev Provides: libppl-c-dev
+ * debian/control: Don't Recommends: graphviz, Suggests: libgmp3-doc, this is
+ pointless
+
+ -- Michael Tautschnig <mt at debian.org> Thu, 11 Sep 2008 18:22:09 +0200
+
+ppl (0.10~pre27-1) unstable; urgency=low
+
+ * New upstream snapshot
+ * debian/rules: Handle nocheck and parallel=n in DEB_BUILD_OPTIONS.
+ * debian/copyright: It is now GPL 3+, not GPL 2+.
+ * debian/control: make libppl-dev Depends on libppl-c0
+ * debian/control: Set Maintainer to the Debian GCC Maintainers, add
+ Michael Tautschnig and Arthur Loiret to Uploaders.
+ * debian/rules: Run testsuite.
+ * Backport from Ubuntu:
+ - debian/control: Fix typos in short descriptions.
+ * libpwl-dev is now separated from libpwl4
+ * Added lintian override to silence warnings about empty files
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 10 Sep 2008 21:56:34 +0000
+
+ppl (0.9-5) unstable; urgency=low
+
+ * Added build-dep on texlive-extra-utils. Thanks Hilmar.
+ * Cleanup config.guess,config.sub as suggested in autotools-dev bug 482716
+ * Bumped standards version to 3.8.0 (no changes)
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 04 Jul 2008 07:40:34 +0000
+
+ppl (0.9-4) unstable; urgency=low
+
+ * Added build-dep on texlive-fonts-recommended to fix FTBFS
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 04 Jul 2008 07:40:34 +0000
+
+ppl (0.9-3) unstable; urgency=low
+
+ * Added build-dep on texlive-latex-recommended to have a4.sty
+ * Removed bashism in debian/rules
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 04 Jul 2008 00:16:35 +0000
+
+ppl (0.9-2) unstable; urgency=low
+
+ * Added libppl-doc package
+ * Removed build-depends on obsolete packages
+ * Proper copyright file to include the special license used in some header
+ files
+
+ -- Michael Tautschnig <mt at debian.org> Sun, 22 Jun 2008 02:09:30 +0200
+
+ppl (0.9-1) unstable; urgency=low
+
+ * Initial upload (closes: #409786)
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 04 Jun 2008 19:08:00 +0000
diff --cc debian/control
index 993646c,0000000..d1a17d9
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,123 -1,0 +1,124 @@@
+Source: ppl
+Section: libs
+Priority: optional
+Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
+Uploaders: Michael Tautschnig <mt at debian.org>, Arthur Loiret <aloiret at debian.org>, Matthias Klose <doko at debian.org>
- Standards-Version: 3.9.4
- Build-Depends: debhelper (>= 6.0.7~), libgmp-dev, autoconf, libtool, autotools-dev, swi-prolog [!hurd-i386], chrpath,
- libncurses5-dev, libncursesw5-dev
++Standards-Version: 3.9.5
++Build-Depends: debhelper (>= 6.0.7~), libmpc-dev, libgmp-dev, autoconf, libtool, dh-autoreconf,
++ swi-prolog [!hurd-i386],
++ chrpath, libncurses5-dev, libncursesw5-dev
+Build-Depends-Indep: doxygen-latex, graphviz, poppler-utils, ghostscript, texlive-math-extra
+Homepage: http://www.cs.unipr.it/ppl/
+
+Package: libppl13
+Architecture: any
+Multi-Arch: same
+Pre-Depends: ${misc:Pre-Depends}
+Depends: ${shlibs:Depends}, ${misc:Depends}
+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
+ 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.
+
+Package: libppl-dev
+Architecture: any
+Multi-Arch: same
+Pre-Depends: ${misc:Pre-Depends}
+Section: libdevel
+Depends: libppl13 (= ${binary:Version}), libppl-c4 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
+Provides: libppl-c-dev, libppl0.12-dev
+Recommends: libgmp3-dev (>= 4.1.3)
+Replaces: libppl6, libppl7 (<< 0.10~pre27-4), libppl9, libppl0.12-dev
+Conflicts: libppl0.10-dev, libppl0.11-dev
+Suggests: libppl-doc
+Description: Parma Polyhedra Library (development)
+ 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 header files and static libraries for the
+ C and C++ interfaces.
+
+Package: ppl-dev
+Architecture: any
+Pre-Depends: ${misc:Pre-Depends}
+Section: devel
+Depends: libppl-dev (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
+Replaces: libppl0.11-dev
+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
+Pre-Depends: ${misc:Pre-Depends}
+Depends: libppl13 (= ${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
+ 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 C interface.
+
+Package: libppl-doc
+Architecture: all
+Section: doc
+Depends: ${misc:Depends}, libjs-jquery
+Description: Parma Polyhedra Library: Documentation
+ 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 documentation.
+
+Package: libppl-swi
+Architecture: any
+Multi-Arch: same
+Pre-Depends: ${misc:Pre-Depends}
+Depends: libppl13 (= ${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
+ 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 SWI Prolog interface.
diff --cc debian/patches/gcc-4.9.diff
index 0000000,0000000..3ed4cca
new file mode 100644
--- /dev/null
+++ b/debian/patches/gcc-4.9.diff
@@@ -1,0 -1,0 +1,305 @@@
++Index: b/src/CO_Tree_inlines.hh
++===================================================================
++--- a/src/CO_Tree_inlines.hh
+++++ b/src/CO_Tree_inlines.hh
++@@ -31,7 +31,7 @@
++ PPL_ASSERT(itr.current_index != 0);
++ PPL_ASSERT(itr.current_index >= indexes + 1);
++ PPL_ASSERT(itr.current_index <= indexes + reserved_size);
++- const ptrdiff_t index = itr.current_index - indexes;
+++ const std::ptrdiff_t index = itr.current_index - indexes;
++ return static_cast<dimension_type>(index);
++ }
++
++@@ -40,7 +40,7 @@
++ PPL_ASSERT(itr.current_index != 0);
++ PPL_ASSERT(itr.current_index >= indexes + 1);
++ PPL_ASSERT(itr.current_index <= indexes + reserved_size);
++- const ptrdiff_t index = itr.current_index - indexes;
+++ const std::ptrdiff_t index = itr.current_index - indexes;
++ return static_cast<dimension_type>(index);
++ }
++
++@@ -772,7 +772,7 @@
++ p -= (offset - 1);
++ while (*p == unused_index)
++ ++p;
++- const ptrdiff_t distance = p - tree.indexes;
+++ const std::ptrdiff_t distance = p - tree.indexes;
++ PPL_ASSERT(distance >= 0);
++ i = static_cast<dimension_type>(distance);
++ offset = least_significant_one_mask(i);
++@@ -787,7 +787,7 @@
++ p += (offset - 1);
++ while (*p == unused_index)
++ --p;
++- const ptrdiff_t distance = p - tree.indexes;
+++ const std::ptrdiff_t distance = p - tree.indexes;
++ PPL_ASSERT(distance >= 0);
++ i = static_cast<dimension_type>(distance);
++ offset = least_significant_one_mask(i);
++Index: b/src/CO_Tree.cc
++===================================================================
++--- a/src/CO_Tree.cc
+++++ b/src/CO_Tree.cc
++@@ -954,7 +954,7 @@
++ --subtree_size;
++ }
++
++- const ptrdiff_t distance = first_unused_index - indexes;
+++ const std::ptrdiff_t distance = first_unused_index - indexes;
++ PPL_ASSERT(distance >= 0);
++ return static_cast<dimension_type>(distance);
++ }
++Index: b/src/CO_Tree_defs.hh
++===================================================================
++--- a/src/CO_Tree_defs.hh
+++++ b/src/CO_Tree_defs.hh
++@@ -159,7 +159,7 @@
++
++ typedef std::bidirectional_iterator_tag iterator_category;
++ typedef const data_type value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef data_type_const_reference reference;
++
++@@ -314,7 +314,7 @@
++
++ typedef std::bidirectional_iterator_tag iterator_category;
++ typedef data_type value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef value_type& reference;
++
++Index: b/src/Constraint_System_defs.hh
++===================================================================
++--- a/src/Constraint_System_defs.hh
+++++ b/src/Constraint_System_defs.hh
++@@ -609,7 +609,7 @@
++ class Parma_Polyhedra_Library::Constraint_System_const_iterator
++ : public std::iterator<std::forward_iterator_tag,
++ Constraint,
++- ptrdiff_t,
+++ std::ptrdiff_t,
++ const Constraint*,
++ const Constraint&> {
++ public:
++Index: b/src/Dense_Row_defs.hh
++===================================================================
++--- a/src/Dense_Row_defs.hh
+++++ b/src/Dense_Row_defs.hh
++@@ -433,7 +433,7 @@
++
++ typedef std::bidirectional_iterator_tag iterator_category;
++ typedef Coefficient value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef value_type& reference;
++
++@@ -474,7 +474,7 @@
++ public:
++
++ typedef const Coefficient value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef Coefficient_traits::const_reference reference;
++
++Index: b/src/Generator_System_defs.hh
++===================================================================
++--- a/src/Generator_System_defs.hh
+++++ b/src/Generator_System_defs.hh
++@@ -679,7 +679,7 @@
++ class Parma_Polyhedra_Library::Generator_System_const_iterator
++ : public std::iterator<std::forward_iterator_tag,
++ Generator,
++- ptrdiff_t,
+++ std::ptrdiff_t,
++ const Generator*,
++ const Generator&> {
++ public:
++Index: b/src/Grid_Generator_System_defs.hh
++===================================================================
++--- a/src/Grid_Generator_System_defs.hh
+++++ b/src/Grid_Generator_System_defs.hh
++@@ -277,7 +277,7 @@
++ class const_iterator
++ : public std::iterator<std::forward_iterator_tag,
++ Grid_Generator,
++- ptrdiff_t,
+++ std::ptrdiff_t,
++ const Grid_Generator*,
++ const Grid_Generator&> {
++ public:
++Index: b/src/Linear_Expression_Interface_defs.hh
++===================================================================
++--- a/src/Linear_Expression_Interface_defs.hh
+++++ b/src/Linear_Expression_Interface_defs.hh
++@@ -65,7 +65,7 @@
++ public:
++ typedef std::bidirectional_iterator_tag iterator_category;
++ typedef const Coefficient value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef Coefficient_traits::const_reference reference;
++
++Index: b/src/Linear_Expression_defs.hh
++===================================================================
++--- a/src/Linear_Expression_defs.hh
+++++ b/src/Linear_Expression_defs.hh
++@@ -381,7 +381,7 @@
++ public:
++ typedef std::bidirectional_iterator_tag iterator_category;
++ typedef const Coefficient value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef Coefficient_traits::const_reference reference;
++
++Index: b/src/ppl.hh.dist
++===================================================================
++--- a/src/ppl.hh.dist
+++++ b/src/ppl.hh.dist
++@@ -20190,7 +20190,7 @@
++
++ typedef std::bidirectional_iterator_tag iterator_category;
++ typedef Coefficient value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef value_type& reference;
++
++@@ -20231,7 +20231,7 @@
++ public:
++
++ typedef const Coefficient value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef Coefficient_traits::const_reference reference;
++
++@@ -21013,7 +21013,7 @@
++
++ typedef std::bidirectional_iterator_tag iterator_category;
++ typedef const data_type value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef data_type_const_reference reference;
++
++@@ -21168,7 +21168,7 @@
++
++ typedef std::bidirectional_iterator_tag iterator_category;
++ typedef data_type value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef value_type& reference;
++
++@@ -22419,7 +22419,7 @@
++ PPL_ASSERT(itr.current_index != 0);
++ PPL_ASSERT(itr.current_index >= indexes + 1);
++ PPL_ASSERT(itr.current_index <= indexes + reserved_size);
++- const ptrdiff_t index = itr.current_index - indexes;
+++ const std::ptrdiff_t index = itr.current_index - indexes;
++ return static_cast<dimension_type>(index);
++ }
++
++@@ -22428,7 +22428,7 @@
++ PPL_ASSERT(itr.current_index != 0);
++ PPL_ASSERT(itr.current_index >= indexes + 1);
++ PPL_ASSERT(itr.current_index <= indexes + reserved_size);
++- const ptrdiff_t index = itr.current_index - indexes;
+++ const std::ptrdiff_t index = itr.current_index - indexes;
++ return static_cast<dimension_type>(index);
++ }
++
++@@ -23160,7 +23160,7 @@
++ p -= (offset - 1);
++ while (*p == unused_index)
++ ++p;
++- const ptrdiff_t distance = p - tree.indexes;
+++ const std::ptrdiff_t distance = p - tree.indexes;
++ PPL_ASSERT(distance >= 0);
++ i = static_cast<dimension_type>(distance);
++ offset = least_significant_one_mask(i);
++@@ -23175,7 +23175,7 @@
++ p += (offset - 1);
++ while (*p == unused_index)
++ --p;
++- const ptrdiff_t distance = p - tree.indexes;
+++ const std::ptrdiff_t distance = p - tree.indexes;
++ PPL_ASSERT(distance >= 0);
++ i = static_cast<dimension_type>(distance);
++ offset = least_significant_one_mask(i);
++@@ -24811,7 +24811,7 @@
++ public:
++ typedef std::bidirectional_iterator_tag iterator_category;
++ typedef const Coefficient value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef Coefficient_traits::const_reference reference;
++
++@@ -27513,7 +27513,7 @@
++ public:
++ typedef std::bidirectional_iterator_tag iterator_category;
++ typedef const Coefficient value_type;
++- typedef ptrdiff_t difference_type;
+++ typedef std::ptrdiff_t difference_type;
++ typedef value_type* pointer;
++ typedef Coefficient_traits::const_reference reference;
++
++@@ -42687,7 +42687,7 @@
++ class Parma_Polyhedra_Library::Constraint_System_const_iterator
++ : public std::iterator<std::forward_iterator_tag,
++ Constraint,
++- ptrdiff_t,
+++ std::ptrdiff_t,
++ const Constraint*,
++ const Constraint&> {
++ public:
++@@ -43402,7 +43402,7 @@
++ class const_iterator
++ : public std::iterator<std::forward_iterator_tag,
++ Congruence,
++- ptrdiff_t,
+++ std::ptrdiff_t,
++ const Congruence*,
++ const Congruence&> {
++ public:
++@@ -45485,7 +45485,7 @@
++ class Parma_Polyhedra_Library::Generator_System_const_iterator
++ : public std::iterator<std::forward_iterator_tag,
++ Generator,
++- ptrdiff_t,
+++ std::ptrdiff_t,
++ const Generator*,
++ const Generator&> {
++ public:
++@@ -54708,7 +54708,7 @@
++ class const_iterator
++ : public std::iterator<std::forward_iterator_tag,
++ Grid_Generator,
++- ptrdiff_t,
+++ std::ptrdiff_t,
++ const Grid_Generator*,
++ const Grid_Generator&> {
++ public:
++Index: b/src/Congruence_System_defs.hh
++===================================================================
++--- a/src/Congruence_System_defs.hh
+++++ b/src/Congruence_System_defs.hh
++@@ -249,7 +249,7 @@ public:
++ class const_iterator
++ : public std::iterator<std::forward_iterator_tag,
++ Congruence,
++- ptrdiff_t,
+++ std::ptrdiff_t,
++ const Congruence*,
++ const Congruence&> {
++ public:
diff --cc debian/patches/link-tests.diff
index 0000000,0000000..a02ef9e
new file mode 100644
--- /dev/null
+++ b/debian/patches/link-tests.diff
@@@ -1,0 -1,0 +1,171 @@@
++Index: b/tests/Makefile.am
++===================================================================
++--- a/tests/Makefile.am
+++++ b/tests/Makefile.am
++@@ -48,6 +48,7 @@
++ LDADD = \
++ $(top_builddir)/src/libppl.la \
++ libppl_tests.a \
+++-lmpc \
++ @extra_libraries@
++
++ noinst_HEADERS = \
++Index: b/tests/BD_Shape/Makefile.am
++===================================================================
++--- a/tests/BD_Shape/Makefile.am
+++++ b/tests/BD_Shape/Makefile.am
++@@ -50,7 +50,7 @@
++
++ LDADD = \
++ $(top_builddir)/utils/libppl_utils.a \
++-$(top_builddir)/tests/libppl_tests.a \
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
++ $(top_builddir)/src/libppl.la \
++ @extra_libraries@
++
++Index: b/tests/Box/Makefile.am
++===================================================================
++--- a/tests/Box/Makefile.am
+++++ b/tests/Box/Makefile.am
++@@ -50,7 +50,7 @@
++
++ LDADD = \
++ $(top_builddir)/utils/libppl_utils.a \
++-$(top_builddir)/tests/libppl_tests.a \
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
++ $(top_builddir)/src/libppl.la \
++ @extra_libraries@
++
++Index: b/tests/CO_Tree/Makefile.am
++===================================================================
++--- a/tests/CO_Tree/Makefile.am
+++++ b/tests/CO_Tree/Makefile.am
++@@ -47,7 +47,7 @@
++
++ LDADD = \
++ $(top_builddir)/utils/libppl_utils.a \
++-$(top_builddir)/tests/libppl_tests.a \
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
++ $(top_builddir)/src/libppl.la \
++ @extra_libraries@
++
++Index: b/tests/Concrete_Expression/Makefile.am
++===================================================================
++--- a/tests/Concrete_Expression/Makefile.am
+++++ b/tests/Concrete_Expression/Makefile.am
++@@ -50,7 +50,7 @@
++
++ LDADD = \
++ $(top_builddir)/utils/libppl_utils.a \
++-$(top_builddir)/tests/libppl_tests.a \
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
++ $(top_builddir)/src/libppl.la \
++ @extra_libraries@
++
++Index: b/tests/Grid/Makefile.am
++===================================================================
++--- a/tests/Grid/Makefile.am
+++++ b/tests/Grid/Makefile.am
++@@ -46,7 +46,7 @@
++
++ LDADD = \
++ $(top_builddir)/utils/libppl_utils.a \
++-$(top_builddir)/tests/libppl_tests.a \
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
++ $(top_builddir)/src/libppl.la \
++ @extra_libraries@
++
++Index: b/tests/MIP_Problem/Makefile.am
++===================================================================
++--- a/tests/MIP_Problem/Makefile.am
+++++ b/tests/MIP_Problem/Makefile.am
++@@ -47,7 +47,7 @@
++
++ LDADD = \
++ $(top_builddir)/utils/libppl_utils.a \
++-$(top_builddir)/tests/libppl_tests.a \
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
++ $(top_builddir)/src/libppl.la \
++ @extra_libraries@
++
++Index: b/tests/Octagonal_Shape/Makefile.am
++===================================================================
++--- a/tests/Octagonal_Shape/Makefile.am
+++++ b/tests/Octagonal_Shape/Makefile.am
++@@ -50,7 +50,7 @@
++
++ LDADD = \
++ $(top_builddir)/utils/libppl_utils.a \
++-$(top_builddir)/tests/libppl_tests.a \
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
++ $(top_builddir)/src/libppl.la \
++ @extra_libraries@
++
++Index: b/tests/PIP_Problem/Makefile.am
++===================================================================
++--- a/tests/PIP_Problem/Makefile.am
+++++ b/tests/PIP_Problem/Makefile.am
++@@ -47,7 +47,7 @@
++
++ LDADD = \
++ $(top_builddir)/utils/libppl_utils.a \
++-$(top_builddir)/tests/libppl_tests.a \
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
++ $(top_builddir)/src/libppl.la \
++ @extra_libraries@
++
++Index: b/tests/Partially_Reduced_Product/Makefile.am
++===================================================================
++--- a/tests/Partially_Reduced_Product/Makefile.am
+++++ b/tests/Partially_Reduced_Product/Makefile.am
++@@ -50,7 +50,7 @@
++
++ LDADD = \
++ $(top_builddir)/utils/libppl_utils.a \
++-$(top_builddir)/tests/libppl_tests.a \
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
++ $(top_builddir)/src/libppl.la \
++ @extra_libraries@
++
++Index: b/tests/Polyhedron/Makefile.am
++===================================================================
++--- a/tests/Polyhedron/Makefile.am
+++++ b/tests/Polyhedron/Makefile.am
++@@ -47,7 +47,7 @@
++
++ LDADD = \
++ $(top_builddir)/utils/libppl_utils.a \
++-$(top_builddir)/tests/libppl_tests.a \
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
++ $(top_builddir)/src/libppl.la \
++ @extra_libraries@
++
++Index: b/tests/Powerset/Makefile.am
++===================================================================
++--- a/tests/Powerset/Makefile.am
+++++ b/tests/Powerset/Makefile.am
++@@ -46,7 +46,7 @@
++
++ LDADD = \
++ $(top_builddir)/utils/libppl_utils.a \
++-$(top_builddir)/tests/libppl_tests.a \
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
++ $(top_builddir)/src/libppl.la \
++ @extra_libraries@
++
++Index: b/tests/Watchdog/Makefile.am
++===================================================================
++--- a/tests/Watchdog/Makefile.am
+++++ b/tests/Watchdog/Makefile.am
++@@ -45,8 +45,9 @@
++ @debug_flag@
++
++ LDADD = \
++-$(top_builddir)/tests/libppl_tests.a \
++-$(top_builddir)/src/libppl.la
+++$(top_builddir)/tests/libppl_tests.a -lmpc \
+++$(top_builddir)/src/libppl.la \
+++ at extra_libraries@
++
++ EXTRA_DIST =
++
diff --cc debian/patches/local_changes.diff
index 650dd40,0000000..3f8202f
mode 100644,000000..100644
--- a/debian/patches/local_changes.diff
+++ b/debian/patches/local_changes.diff
@@@ -1,48 -1,0 +1,48 @@@
+Index: b/doc/user-language-interface.tex
+===================================================================
+--- a/doc/user-language-interface.tex
++++ b/doc/user-language-interface.tex
- @@ -58,6 +58,7 @@
++@@ -59,6 +59,7 @@
+ \usepackage{pspicture}
+ \fi
+ \usepackage[utf8]{inputenc}
++\usepackage[table]{xcolor}
+ \usepackage{doxygen}
+ <PPL_SED_USEPACKAGE_OCAMLDOC>
+ \usepackage{ppl}
+Index: b/doc/devref.tex
+===================================================================
+--- a/doc/devref.tex
++++ b/doc/devref.tex
- @@ -58,6 +58,7 @@
++@@ -59,6 +59,7 @@
+ \usepackage{pspicture}
+ \fi
+ \usepackage[utf8]{inputenc}
++\usepackage[table]{xcolor}
+ \usepackage{doxygen}
+ \usepackage{ppl}
+ \makeindex
+Index: b/doc/user.tex
+===================================================================
+--- a/doc/user.tex
++++ b/doc/user.tex
- @@ -58,6 +58,7 @@
++@@ -59,6 +59,7 @@
+ \usepackage{pspicture}
+ \fi
+ \usepackage[utf8]{inputenc}
++\usepackage[table]{xcolor}
+ \usepackage{doxygen}
+ \usepackage{ppl}
+ \makeindex
+Index: b/doc/devref-language-interface.tex
+===================================================================
+--- a/doc/devref-language-interface.tex
++++ b/doc/devref-language-interface.tex
- @@ -58,6 +58,7 @@
++@@ -59,6 +59,7 @@
+ \usepackage{pspicture}
+ \fi
+ \usepackage[utf8]{inputenc}
++\usepackage[table]{xcolor}
+ \usepackage{doxygen}
+ <PPL_SED_USEPACKAGE_OCAMLDOC>
+ \usepackage{ppl}
diff --cc debian/patches/series
index 9d53034,0000000..3dc0090
mode 100644,000000..100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@@ -1,1 -1,0 +1,3 @@@
+local_changes.diff
++gcc-4.9.diff
++link-tests.diff
diff --cc debian/rules
index e7d6c74,0000000..ebb1201
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,202 -1,0 +1,218 @@@
+#!/usr/bin/make -f
+# -*- makefile -*-
+# This file was originally written by Joey Hess and Craig Small.
+# As a special exception, when this file is copied by dh-make into a
+# dh-make output file, you may use that output file without restriction.
+# This special exception was added by Craig Small in version 0.37 of dh-make.
+#
+# Modified to make a template file for a multi-binary package with separated
+# build-arch and build-indep targets by Bill Allombert 2001
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+# This has to be exported to make some magic below work.
+export DH_OPTIONS
+
+# These are used for cross-compiling and for saving the configure script
+# from having to guess our platform (since we know it already)
+DEB_HOST_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
+DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH)
+DEB_BUILD_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
+
- CFLAGS = $(shell dpkg-buildflags --get CPPFLAGS; dpkg-buildflags --get CFLAGS) -Wall -g
- CXXFLAGS = $(shell dpkg-buildflags --get CXXFLAGS) -Wall -g
- LDFLAGS = $(shell dpkg-buildflags --get LDFLAGS)
++CPPFLAGS := $(shell dpkg-buildflags --get CPPFLAGS)
++CFLAGS := $(shell dpkg-buildflags --get CFLAGS) -Wall -g
++CXXFLAGS := $(shell dpkg-buildflags --get CXXFLAGS) -Wall -g
++LDFLAGS := $(shell dpkg-buildflags --get LDFLAGS)
++
++# not yet ready for this new default warning ...
++CXXFLAGS += -Wno-unused-local-typedefs
+
+# FOR AUTOCONF 2.52 AND NEWER ONLY
+confflags += --build $(DEB_BUILD_GNU_TYPE) --host $(DEB_HOST_GNU_TYPE)
+confflags += --disable-ppl_lpsol --disable-ppl_lcdd
+
++derivative := $(shell if dpkg-vendor --derives-from Ubuntu; then echo Ubuntu; else echo Debian; fi)
++
+# Disable the SWI-Prolog interface during architecture bootstrap, and
+# on some architectures
+ifneq (,$(filter stage1,$(DEB_STAGE))$(filter $(DEB_HOST_ARCH),arm64 hurd-i386))
++ with_swi_prolog :=
++else
++ with_swi_prolog := yes
++endif
++
++# in Ubuntu, it's in universe
++ifeq ($(derivative),Ubuntu)
++ with_swi_prolog :=
++endif
++
++ifeq ($(with_swi_prolog),yes)
++ confflags += --enable-interfaces=c,cxx,swi_prolog
++else
+ confflags += --enable-interfaces=c,cxx
+ DH_OPTIONS += -Nlibppl-swi
+ export DH_OPTIONS
- else
- confflags += --enable-interfaces=c,cxx,swi_prolog
+endif
+
+ifneq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS)))
+ with_check := disabled by DEB_BUILD_OPTIONS.
+else
+ ifneq ($(DEB_HOST_GNU_TYPE),$(DEB_BUILD_GNU_TYPE))
+ with_check := disabled because cross-compiling.
+ else
+ with_check := yes
+ endif
+endif
+#with_check := disabled for this upload
+
+ifneq (,$(filter parallel=%,$(DEB_BUILD_OPTIONS)))
+ NJOBS := -j$(patsubst parallel=%,%,$(filter parallel=%,$(DEB_BUILD_OPTIONS)))
+endif
+
+# If the version string was set using automake then the build would
+# have to be configured before the dpkg-buildpackage command.
+PPL_VERSION = $(shell grep "^AC_INIT" $(CURDIR)/configure.ac | sed -e "s/^AC_INIT.\[[^]]*\],[ \t]*\[\([^]]*\)\],.*/\1/")
+
+ifneq (,$(filter $(DEB_HOST_GNU_TYPE), arm-linux-gnueabi arm-linux-gnueabihf powerpc-linux-gnu))
+ # powerpc runs out of memory building the test suite with -g, but is OK
+ # with -gstabs instead.
+ CHECK_ENV := CFLAGS="$(CFLAGS:-g=-gstabs)" CXXFLAGS="$(CXXFLAGS:-g=-gstabs)"
+else
+ CHECK_ENV :=
+endif
+
+configure: configure-stamp
+configure-stamp:
+ dh_testdir
- cp -f /usr/share/misc/config.sub config.sub
- cp -f /usr/share/misc/config.guess config.guess
++ dh_autoreconf
+ ./configure $(confflags) \
+ --prefix=/usr \
+ --libdir=\$${prefix}/lib/$(DEB_HOST_MULTIARCH) \
+ --mandir=\$${prefix}/share/man \
+ --infodir=\$${prefix}/share/info \
++ CPPFLAGS="$(CPPFLAGS)" \
+ CFLAGS="$(CFLAGS)" \
+ CXXFLAGS="$(CXXFLAGS)" \
+ LDFLAGS="$(LDFLAGS)"
+ touch $@
+
+build: build-arch
+build-arch: build-arch-stamp
+build-arch-stamp: configure-stamp
+ $(MAKE) $(NJOBS)
+ touch $@
+
+check:
+ dh_testdir
+ifeq ($(with_check),yes)
+ ifneq (,$(filter $(DEB_HOST_ARCH), alpha armel s390x))
+ # There are some failures in the testsuite on alpha,
+ # maybe related to http://gcc.gnu.org/PR8966
+ # Testsuite is miscompiled on arm, see #593324
+ $(MAKE) $(NJOBS) -k check $(CHECK_ENV) || true
+ else
+ $(MAKE) $(NJOBS) check $(CHECK_ENV)
+ endif
+else
+ @echo "Testsuite not run: $(with_check)."
+endif
+
+build-indep: build-indep-stamp
+build-indep-stamp: configure-stamp
+ export save_size=10000 ; $(MAKE) -C doc user-configured
+ touch $@
+
+clean:
+ dh_testdir
+ dh_testroot
+ rm -f configure-stamp build-stamp
+ rm -f build-arch-stamp build-indep-stamp
+ [ ! -e Makefile ] || $(MAKE) distclean
- rm -f config.sub
- rm -f config.guess
++ dh_autoreconf_clean
+ dh_clean
+
+install: install-indep install-arch
+
+# Destination directory for user manual.
+DOC_DIR=$(CURDIR)/debian/tmp/usr/share/doc/ppl
+install-indep: build-indep
+ dh_testdir
+ dh_testroot
+ dh_installdirs -i
+# Build all the documentation, then move it into debian/tmp
+# directories which have fixed names.
+ mkdir -p $(DOC_DIR)/html || exit 1
+ mv $(DOC_DIR)/ppl-user-$(PPL_VERSION)-html $(DOC_DIR)/html/user-manual
+ mv $(DOC_DIR)/ppl-user-$(PPL_VERSION).pdf $(DOC_DIR)/ppl-user-browse.pdf
+ mv $(DOC_DIR)/ppl-user-$(PPL_VERSION).ps.gz $(DOC_DIR)/ppl-user-print.ps.gz
+
+install-arch: build-arch check
+ dh_testdir
+ dh_testroot
+ dh_installdirs -s
+# Add here commands to install the arch part of the package into
+# debian/tmp.
+ $(MAKE) install DESTDIR=$(CURDIR)/debian/tmp
+ mkdir -p debian/tmp/usr/include/$(DEB_HOST_MULTIARCH)
+ mv debian/tmp/usr/include/*.*h debian/tmp/usr/include/$(DEB_HOST_MULTIARCH)/
+ -chrpath -d \
+ debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/libppl.so.13.0.0 \
+ debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/libppl_c.so.4.0.0 \
+ debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/ppl/libppl_swiprolog.so
+
+binary-arch: install-arch
+ dh_testdir
+ dh_testroot
+ dh_installchangelogs -s ChangeLog
+ dh_installdocs -s
+ dh_install -s --sourcedir=debian/tmp
+# dh_installexamples -s
+# dh_installinfo -s
+# dh_installman -s
+# These directories will be symlinks instead.
+ rm -rf debian/libppl-c4/usr/share/doc/libppl-c4
+ rm -rf debian/libppl-swi/usr/share/doc/libppl-swi
+ dh_link -s
+ dh_strip -s
+ dh_compress -s
+ dh_fixperms -s
+ dh_makeshlibs -s
+ dh_installdeb -s
+ dh_shlibdeps -s
+ dh_gencontrol -s
+ dh_md5sums -s
+ dh_builddeb -s
+
+binary-indep: install-indep
+ dh_testdir
+ dh_testroot
+ dh_install -i --sourcedir=debian/tmp
+ dh_installchangelogs -i ChangeLog
+ dh_installdocs -i
+ rm -f debian/libppl-doc/usr/share/doc/libppl-doc/html/user-manual/jquery.js
+ dh_link -plibppl-doc \
+ /usr/share/javascript/jquery/jquery.js \
+ /usr/share/doc/libppl-doc/html/user-manual/jquery.js
+ dh_link -i
+ dh_compress -i
+ dh_fixperms -i
+# dh_lintian -i
+ dh_installdeb -i
+ dh_gencontrol -i
+ dh_md5sums -i
+ dh_builddeb -i
+
+binary: binary-arch binary-indep
+
+get-orig-source:
+ rm -f ppl_*.orig.tar.gz
+ wget ftp://ftp.cs.unipr.it/pub/ppl/snapshots/*.tar.gz
+ vers=`ls ppl-*.tar.gz | tail -1 | sed 's/^ppl-//' | sed 's/.tar.gz$$//'` ; \
+ debvers=`echo $$vers | sed 's/pre/~pre/'` ; \
+ tar xzf ppl-$$vers.tar.gz ; \
+ rm ppl-$$vers.tar.gz ; mv ppl-$$vers ppl-$$debvers ; \
+ tar czf ppl_$$debvers.orig.tar.gz ppl-$$debvers ; \
+ rm -r ppl-$$debvers
+
+.PHONY: configure build check clean binary-indep binary-arch binary install install-indep install-arch get-orig-source
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ppl.git
More information about the debian-science-commits
mailing list