[ppl] 14/68: Imported Debian patch 0.10~pre36-1
Andreas Tille
tille at debian.org
Sat Nov 12 08:40:25 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 5d25d0bf834c867e94c334adbeb2b98757fb3f5f
Merge: ebc1eb0 9f01a45
Author: Michael Tautschnig <mt at debian.org>
Date: Tue Oct 28 19:09:52 2008 +0000
Imported Debian patch 0.10~pre36-1
CREDITS | 81 +-
ChangeLog | 3885 +
Makefile.am | 5 +-
Makefile.in | 6 +-
NEWS | 299 +-
README | 178 +-
README.configure | 302 +-
STANDARDS | 2 +-
TODO | 58 +-
Watchdog/ChangeLog | 157 +
Watchdog/Makefile.in | 1 +
Watchdog/NEWS | 2 +-
Watchdog/README | 52 +-
Watchdog/configure | 5410 +-
Watchdog/configure.ac | 153 +-
Watchdog/doc/Makefile.am | 105 +-
Watchdog/doc/Makefile.in | 111 +-
Watchdog/doc/devref.doxyconf-html | 6 +-
Watchdog/doc/devref.doxyconf-latex | 4 +-
Watchdog/doc/fdl.pdf | Bin 59060 -> 59059 bytes
Watchdog/doc/fdl.ps.gz | Bin 67862 -> 67867 bytes
Watchdog/doc/gpl.pdf | Bin 71113 -> 71113 bytes
Watchdog/doc/gpl.ps.gz | Bin 80391 -> 80393 bytes
Watchdog/doc/pwl-user-0.5-html.tar.gz | Bin 0 -> 150623 bytes
.../doc/{pwl-user-0.6.pdf => pwl-user-0.5.pdf} | Bin 414588 -> 414592 bytes
Watchdog/doc/pwl-user-0.5.ps.gz | Bin 0 -> 215051 bytes
Watchdog/doc/pwl-user-0.6-html.tar.gz | Bin 150619 -> 0 bytes
Watchdog/doc/pwl-user-0.6.ps.gz | Bin 215053 -> 0 bytes
Watchdog/doc/user.doxyconf-html | 6 +-
Watchdog/doc/user.doxyconf-latex | 4 +-
Watchdog/m4/Makefile.in | 1 +
Watchdog/src/Makefile.am | 7 +-
Watchdog/src/Makefile.in | 10 +-
Watchdog/src/pwl.hh.dist | 6 +-
Watchdog/tests/Makefile.am | 9 +-
Watchdog/tests/Makefile.in | 12 +-
Watchdog/tests/pwl_test.cc | 15 +-
Watchdog/tests/pwl_test.hh | 22 +-
Watchdog/utils/Makefile.in | 1 +
configure | 1253 +-
configure.ac | 370 +-
debian/Makefile.am | 44 -
debian/Makefile.in | 468 -
debian/changelog | 18 +
debian/control | 6 +-
debian/libppl-dev.links | 2 -
debian/libppl-doc.doc-base | 14 +-
debian/libppl-doc.doc-base.user | 17 -
debian/libppl-doc.install | 4 +-
debian/libppl-doc.lintian-overrides | 38 -
debian/{libppl-dev.dirs => libppl0.10-dev.dirs} | 0
debian/{libppl-dev.docs => libppl0.10-dev.docs} | 0
.../{libppl-dev.install => libppl0.10-dev.install} | 6 +-
debian/libppl0.10-dev.links | 2 +
.../{libppl-dev.preinst => libppl0.10-dev.preinst} | 0
debian/rules | 121 +-
demos/Makefile.am | 10 +-
demos/Makefile.in | 6 +-
demos/ppl_lcdd/Makefile.am | 3 +
demos/ppl_lcdd/Makefile.in | 82 +-
{doc => demos/ppl_lcdd}/ppl_lcdd.1 | 21 +-
demos/ppl_lcdd/ppl_lcdd.cc | 6 +-
demos/ppl_lpsol/Makefile.am | 3 +
demos/ppl_lpsol/Makefile.in | 82 +-
{doc => demos/ppl_lpsol}/ppl_lpsol.1 | 29 +-
demos/ppl_lpsol/ppl_lpsol.c | 93 +-
doc/Makefile.am | 403 +-
doc/Makefile.in | 404 +-
doc/definitions.dox | 1268 +-
doc/devref-foreign-language-interface.doxyconf | 4 +-
doc/devref-foreign-language-interface.tex | 6 +-
doc/devref.doxyconf-html | 10 +-
doc/devref.doxyconf-html.in | 4 +
doc/devref.doxyconf-latex | 8 +-
doc/devref.doxyconf-latex.in | 4 +
doc/devref.tex | 6 +-
doc/fdl.pdf | Bin 59059 -> 59058 bytes
doc/fdl.ps.gz | Bin 67865 -> 67868 bytes
doc/gpl.pdf | Bin 71113 -> 71114 bytes
doc/gpl.ps.gz | Bin 80391 -> 80390 bytes
doc/interfaces-latex.sed | 2 +-
doc/libppl.3 | 148 +-
doc/libppl_c.3 | 139 +
doc/ppl-config.1 | 40 +-
doc/ppl-user-0.10pre34-html.tar.gz | Bin 1022907 -> 0 bytes
doc/ppl-user-0.10pre34.ps.gz | Bin 1545202 -> 0 bytes
doc/ppl-user-0.10pre36-html.tar.gz | Bin 0 -> 1045480 bytes
...l-user-0.10pre34.pdf => ppl-user-0.10pre36.pdf} | 94552 ++++++++++---------
doc/ppl-user-0.10pre36.ps.gz | Bin 0 -> 1577051 bytes
doc/ppl-user-c-interface-0.10pre34-html.tar.gz | Bin 165013 -> 0 bytes
doc/ppl-user-c-interface-0.10pre34.ps.gz | Bin 402415 -> 0 bytes
doc/ppl-user-c-interface-0.10pre36-html.tar.gz | Bin 0 -> 165356 bytes
...re34.pdf => ppl-user-c-interface-0.10pre36.pdf} | 18773 ++--
doc/ppl-user-c-interface-0.10pre36.ps.gz | Bin 0 -> 404150 bytes
doc/ppl-user-java-interface-0.10pre34-html.tar.gz | Bin 252316 -> 0 bytes
doc/ppl-user-java-interface-0.10pre34.ps.gz | Bin 397998 -> 0 bytes
doc/ppl-user-java-interface-0.10pre36-html.tar.gz | Bin 0 -> 256851 bytes
...4.pdf => ppl-user-java-interface-0.10pre36.pdf} | 20685 ++--
doc/ppl-user-java-interface-0.10pre36.ps.gz | Bin 0 -> 409690 bytes
doc/ppl-user-ocaml-interface-0.10pre34-html.tar.gz | Bin 64063 -> 0 bytes
doc/ppl-user-ocaml-interface-0.10pre34.pdf | Bin 212543 -> 0 bytes
doc/ppl-user-ocaml-interface-0.10pre34.ps.gz | Bin 187194 -> 0 bytes
doc/ppl-user-ocaml-interface-0.10pre36-html.tar.gz | Bin 0 -> 69422 bytes
doc/ppl-user-ocaml-interface-0.10pre36.pdf | Bin 0 -> 238043 bytes
doc/ppl-user-ocaml-interface-0.10pre36.ps.gz | Bin 0 -> 197921 bytes
...ppl-user-prolog-interface-0.10pre34-html.tar.gz | Bin 71465 -> 0 bytes
doc/ppl-user-prolog-interface-0.10pre34.pdf | Bin 254186 -> 0 bytes
doc/ppl-user-prolog-interface-0.10pre34.ps.gz | Bin 232041 -> 0 bytes
...ppl-user-prolog-interface-0.10pre36-html.tar.gz | Bin 0 -> 72504 bytes
doc/ppl-user-prolog-interface-0.10pre36.pdf | Bin 0 -> 263972 bytes
doc/ppl-user-prolog-interface-0.10pre36.ps.gz | Bin 0 -> 236080 bytes
doc/user-foreign-language-interface.doxyconf | 4 +-
doc/user-foreign-language-interface.tex | 6 +-
doc/user.doxyconf-html | 6 +-
doc/user.doxyconf-latex | 4 +-
doc/user.tex | 6 +-
fedora/Makefile.am | 27 -
fedora/Makefile.in | 445 -
fedora/ppl.hh | 43 -
fedora/ppl.spec | 527 -
fedora/ppl_c.h | 43 -
fedora/pwl.hh | 43 -
interfaces/C/ppl_c_header.h | 7 +
interfaces/C/tests/print_to_buffer.cc | 22 +
interfaces/C/tests/print_to_buffer.h | 26 +
interfaces/Java/jni/ppl_java_common.cc | 266 +-
interfaces/Java/jni/ppl_java_common.defs.hh | 379 +-
interfaces/Java/jni/ppl_java_common.inlines.hh | 17 +-
interfaces/Java/jni/ppl_java_globals.cc | 6 +-
.../Parma_Polyhedra_Library.java | 7 +
.../Java/parma_polyhedra_library/Variable.java | 4 +-
interfaces/Java/tests/ppl_java_tests_common | 38 +-
interfaces/OCaml/Makefile.am | 59 +-
interfaces/OCaml/Makefile.in | 58 +-
interfaces/OCaml/OCaml_interface.dox | 9 +-
.../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 1 -
.../OCaml/ppl_interface_generator_ocaml_hh_code.m4 | 6 +-
.../OCaml/ppl_interface_generator_ocaml_ml.m4 | 3 +-
.../OCaml/ppl_interface_generator_ocaml_mli.m4 | 197 +-
interfaces/OCaml/ppl_ocaml_globals.ml | 77 +-
.../{ppl_ocaml_types.ml => ppl_ocaml_globals.mli} | 102 +-
interfaces/OCaml/tests/Makefile.am | 50 +-
interfaces/OCaml/tests/Makefile.in | 42 +-
.../ppl_interface_generator_ocaml_test_ml_code.m4 | 1 +
interfaces/Prolog/Ciao/Makefile.am | 19 +-
interfaces/Prolog/Ciao/Makefile.in | 19 +-
interfaces/Prolog/Ciao/README.ciao | 4 +
...face_generator_ciao_prolog_generated_test_pl.m4 | 17 +-
interfaces/Prolog/GNU/Makefile.am | 16 +-
interfaces/Prolog/GNU/Makefile.in | 16 +-
interfaces/Prolog/GNU/gprolog_cfli.hh | 17 +
interfaces/Prolog/Makefile.am | 2 +
interfaces/Prolog/Makefile.in | 5 +-
interfaces/Prolog/Prolog_interface.dox | 2985 +-
interfaces/Prolog/SICStus/Makefile.am | 2 +-
interfaces/Prolog/SICStus/Makefile.in | 2 +-
interfaces/Prolog/SWI/Makefile.am | 41 +-
interfaces/Prolog/SWI/Makefile.in | 34 +-
interfaces/Prolog/XSB/Makefile.am | 5 +-
interfaces/Prolog/XSB/Makefile.in | 5 +-
interfaces/Prolog/YAP/Makefile.am | 2 +-
interfaces/Prolog/YAP/Makefile.in | 2 +-
.../ppl_interface_generator_prolog_cc_code.m4 | 7 +-
.../Prolog/ppl_interface_generator_prolog_dox.m4 | 356 +-
.../ppl_interface_generator_prolog_dox_code.m4 | 984 +-
interfaces/Prolog/ppl_prolog_common.cc | 2 +
interfaces/Prolog/ppl_prolog_sysdep_dox | 28 +
interfaces/Prolog/ppl_prolog_sysindep_dox | 1434 +-
interfaces/Prolog/tests/Makefile.am | 7 +-
interfaces/Prolog/tests/Makefile.in | 7 +-
interfaces/Prolog/tests/expected_pchk_int16 | 2 -
interfaces/Prolog/tests/expected_pchk_int16_a | 2 -
interfaces/Prolog/tests/expected_pchk_int32 | 2 -
interfaces/Prolog/tests/expected_pchk_int32_a | 2 -
interfaces/Prolog/tests/expected_pchk_int64_a | 2 -
interfaces/Prolog/tests/expected_pchk_int8 | 2 -
interfaces/Prolog/tests/expected_pchk_int8_a | 2 -
interfaces/Prolog/tests/expected_pgt | 1 +
interfaces/Prolog/tests/pl_check.pl | 285 +-
...interface_generator_prolog_generated_test_pl.m4 | 61 +-
...face_generator_prolog_generated_test_pl_code.m4 | 221 +-
interfaces/marked_pointers.hh | 2 +-
interfaces/ppl_interface_generator_common_dat.m4 | 9 +-
...erface_generator_common_procedure_generators.m4 | 20 +-
m4/ac_check_ciao.m4 | 3 +-
m4/ac_check_fpu_control.m4 | 89 +-
m4/ac_check_gmp.m4 | 46 +-
m4/ac_check_swi_prolog.m4 | 3 +-
m4/ac_cxx_double_binary_format.m4 | 10 +-
m4/ac_cxx_double_exact_output.m4 | 13 +-
m4/ac_cxx_flexible_arrays.m4 | 3 +-
m4/ac_cxx_float_binary_format.m4 | 9 +-
m4/ac_cxx_float_exact_output.m4 | 13 +-
m4/ac_cxx_ieee_inexact_flag.m4 | 19 +-
m4/ac_cxx_limit_memory.m4 | 23 +-
m4/ac_cxx_long_double_binary_format.m4 | 32 +-
m4/ac_cxx_long_double_exact_output.m4 | 29 +-
m4/ac_cxx_proper_long_double.m4 | 5 +-
m4/ac_cxx_remainder_bug.m4 | 5 +-
m4/ppl.m4 | 10 +-
m4/ppl_c.m4 | 10 +-
src/BD_Shape.defs.hh | 2 -
src/Box.defs.hh | 2 +-
src/Box.inlines.hh | 15 +-
src/Box.templates.hh | 2 +-
src/CREDITS.cc.dist | 81 +-
src/Congruence.defs.hh | 2 -
src/Congruence_System.defs.hh | 2 -
src/Constraint.defs.hh | 2 -
src/Constraint_System.defs.hh | 2 -
src/Generator.defs.hh | 2 -
src/Generator_System.defs.hh | 2 -
src/Grid.defs.hh | 6 +-
src/Grid_Generator.defs.hh | 2 -
src/Grid_Generator_System.defs.hh | 2 -
src/Interval.defs.hh | 23 +-
src/Linear_Expression.defs.hh | 2 -
src/MIP_Problem.cc | 14 +-
src/MIP_Problem.defs.hh | 2 -
src/Makefile.am | 10 +-
src/Makefile.in | 18 +-
src/OR_Matrix.defs.hh | 36 +-
src/Octagonal_Shape.defs.hh | 4 +-
src/Octagonal_Shape.templates.hh | 24 +-
src/Og_Status.idefs.hh | 16 +-
src/Partially_Reduced_Product.defs.hh | 2 -
src/Pointset_Powerset.defs.hh | 4 +-
src/Polyhedron.defs.hh | 40 +-
src/Rounding_Dir.inlines.hh | 2 +
src/Variables_Set.defs.hh | 2 -
src/checked.inlines.hh | 26 +-
src/checked_float.inlines.hh | 175 +-
src/checked_int.inlines.hh | 17 +-
src/compiler.hh | 5 +-
src/fpu-c99.inlines.hh | 8 +
src/fpu-none.inlines.hh | 8 +-
src/fpu.defs.hh | 10 +-
src/globals.defs.hh | 7 -
src/namespaces.hh | 22 +-
src/ppl-config.cc | 13 +-
src/ppl-config.cc.in | 5 +-
src/ppl.hh.dist | 534 +-
tests/BD_Shape/Makefile.am | 3 +-
tests/BD_Shape/Makefile.in | 6 +-
tests/Box/Makefile.am | 2 +-
tests/Box/Makefile.in | 4 +-
tests/Box/propagateconstraints2.cc | 69 +-
tests/Makefile.am | 2 -
tests/Makefile.in | 4 +-
tests/Octagonal_Shape/Makefile.am | 2 +-
tests/Octagonal_Shape/Makefile.in | 4 +-
tests/Octagonal_Shape/affinedimension1.cc | 4 +-
tests/Octagonal_Shape/discrete1.cc | 2 +-
tests/Polyhedron/Makefile.in | 2 +-
tests/Polyhedron/memory1.cc | 20 +
tests/Polyhedron/randphull1.cc | 10 +-
tests/Powerset/Makefile.am | 2 -
tests/Powerset/Makefile.in | 2 -
tests/{Polyhedron => }/README | 0
tests/ppl_test.cc | 15 +-
tests/ppl_test.hh | 22 +-
261 files changed, 83103 insertions(+), 77773 deletions(-)
diff --cc debian/changelog
index c34aa0d,0000000..e86df39
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,105 -1,0 +1,123 @@@
++ppl (0.10~pre36-1) unstable; urgency=low
++
++ [ Michael Tautschnig ]
++ * New upstream snapshot.
++ * Builds on arm. Really. Closes: #499746.
++ * Build documentation in binary-indep only. Closes: #501926.
++ * Only build C and C++ interfaces and the corresponding docs.
++ * Renamed libppl-dev to libppl0.10-dev to be prepared for versioned ppl
++ source packages.
++ * Build and install user documentation only.
++ * Don't install the demos.
++ * Cleanup of debian/rules
++
++ [ Matthias Klose ]
++ * Call debhelper tools in binary targets with -i/-a.
++
++ -- Michael Tautschnig <mt at debian.org> Tue, 28 Oct 2008 19:09:52 +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 30ff078,0000000..8132b56
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,98 -1,0 +1,98 @@@
+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 <arthur.loiret at gmail.com>
+Standards-Version: 3.8.0
- Build-Depends: debhelper (>= 6.0.7~), libgmp3-dev (>= 4.1.3), autoconf, automake, libtool, autotools-dev, doxygen, graphviz, glpk, texlive-base-bin, texlive-latex-extra, texlive-latex-recommended, texlive-fonts-recommended, xpdf-utils, ghostscript, texlive-extra-utils, ocaml-nox
++Build-Depends: debhelper (>= 6.0.7~), libgmp3-dev (>= 4.1.3), autoconf, automake, libtool, autotools-dev, doxygen, graphviz, texlive-base-bin, texlive-latex-extra, texlive-latex-recommended, texlive-fonts-recommended, xpdf-utils, ghostscript, texlive-extra-utils
+Homepage: http://www.cs.unipr.it/ppl/
+
+Package: libppl7
+Architecture: any
+Depends: ${shlibs: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
++Package: libppl0.10-dev
+Architecture: any
+Section: libdevel
+Depends: libppl7 (= ${binary:Version}), libppl-c2 (= ${binary:Version}), ${shlibs:Depends}
- Provides: libppl-c-dev
++Provides: libppl-c-dev, libppl-dev
+Recommends: libgmp3-dev (>= 4.1.3)
+Replaces: libppl6, libppl7 (<< 0.10~pre27-4)
+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: libppl-c2
+Architecture: any
+Depends: libppl7 (= ${binary:Version}), ${shlibs: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: libpwl4
+Architecture: any
+Depends: ${shlibs:Depends}
+Provides: libppl-pwl
+Description: Parma Watchdog Library (Watchdog timers - runtime library)
+ The Parma Watchdog Library (PWL) provides support for multiple,
+ concurrent watchdog timers on systems providing setitimer(2). The
+ PWL is currently distributed with the Parma Polyhedra Library (PPL),
+ but is totally independent from it.
+
+Package: libpwl-dev
+Architecture: any
+Section: libdevel
+Depends: libpwl4 (= ${binary:Version}), ${shlibs:Depends}
+Provides: libppl-pwl-dev
+Replaces: libpwl3
+Description: Parma Watchdog Library (Watchdog timers - development)
+ The Parma Watchdog Library (PWL) provides support for multiple,
+ concurrent watchdog timers on systems providing setitimer(2). The
+ PWL is currently distributed with the Parma Polyhedra Library (PPL),
+ but is totally independent from it.
+
+Package: libppl-doc
+Architecture: all
+Section: doc
+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.
diff --cc debian/libppl-doc.doc-base
index c3e0ec1,0000000..7ac1afe
mode 100644,000000..100644
--- a/debian/libppl-doc.doc-base
+++ b/debian/libppl-doc.doc-base
@@@ -1,17 -1,0 +1,17 @@@
- Document: libppl-dev
- Title: The Parma Polyhedra Library Developer Reference Manual
++Document: libppl
++Title: The Parma Polyhedra Library User Manual
+Author: PPL developers <ppl-devel at cs.unipr.it>
+Abstract: This manual contains a general introduction to the Parma
+ Polyhedra Library (PPL) and full documentation of the PPL C++
- interface, including implementation details.
++ interface.
+Section: Programming/C++
+
+Format: postscript
- Files: /usr/share/doc/libppl-doc/ppl-devref-print.ps.gz
++Files: /usr/share/doc/libppl-doc/ppl-user-print.ps.gz
+
+Format: pdf
- Files: /usr/share/doc/libppl-doc/ppl-devref-browse.pdf.gz
++Files: /usr/share/doc/libppl-doc/ppl-user-browse.pdf.gz
+
+Format: HTML
- Index: /usr/share/doc/libppl-doc/html/developer-reference/index.html
- Files: /usr/share/doc/libppl-doc/html/developer-reference/*.html
++Index: /usr/share/doc/libppl-doc/html/user-manual/index.html
++Files: /usr/share/doc/libppl-doc/html/user-manual/*.html
diff --cc debian/libppl-doc.install
index a44b923,0000000..f877c91
mode 100644,000000..100644
--- a/debian/libppl-doc.install
+++ b/debian/libppl-doc.install
@@@ -1,1 -1,0 +1,3 @@@
- usr/share/doc/libppl-doc/
++usr/share/doc/ppl/html/user-manual usr/share/doc/libppl-doc/html
++usr/share/doc/ppl/ppl-user-browse.pdf usr/share/doc/libppl-doc
++usr/share/doc/ppl/ppl-user-print.ps.gz usr/share/doc/libppl-doc
diff --cc debian/libppl0.10-dev.dirs
index 4141450,0000000..4141450
mode 100644,000000..100644
--- a/debian/libppl0.10-dev.dirs
+++ b/debian/libppl0.10-dev.dirs
diff --cc debian/libppl0.10-dev.docs
index 0363680,0000000..0363680
mode 100644,000000..100644
--- a/debian/libppl0.10-dev.docs
+++ b/debian/libppl0.10-dev.docs
diff --cc debian/libppl0.10-dev.install
index 6010c9b,0000000..00cc118
mode 100644,000000..100644
--- a/debian/libppl0.10-dev.install
+++ b/debian/libppl0.10-dev.install
@@@ -1,18 -1,0 +1,16 @@@
+usr/include
+
+usr/lib/libppl.so
+usr/lib/libppl.a
++usr/share/man/man3/libppl.3
+
+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
+
- usr/bin/ppl_lcdd
- usr/bin/ppl_lpsol
- usr/share/man/man1/ppl_lcdd.1
- usr/share/man/man1/ppl_lpsol.1
diff --cc debian/libppl0.10-dev.links
index 0000000,0000000..75c5b0f
new file mode 100644
--- /dev/null
+++ b/debian/libppl0.10-dev.links
@@@ -1,0 -1,0 +1,2 @@@
++usr/share/doc/libppl0.10-dev/changelog.gz usr/share/doc/libppl7/changelog.gz
++usr/share/doc/libppl0.10-dev/changelog.gz usr/share/doc/libppl-c2/changelog.gz
diff --cc debian/libppl0.10-dev.preinst
index a403ca1,0000000..a403ca1
mode 100644,000000..100644
--- a/debian/libppl0.10-dev.preinst
+++ b/debian/libppl0.10-dev.preinst
diff --cc debian/rules
index 69054f6,0000000..e85799c
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,201 -1,0 +1,172 @@@
+#!/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_BUILD_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
+
+CFLAGS = -Wall -g
+
+ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
+ CFLAGS += -O0
+else
+ CFLAGS += -O2
+endif
+
+# FOR AUTOCONF 2.52 AND NEWER ONLY
+confflags += --build $(DEB_BUILD_GNU_TYPE) --host $(DEB_HOST_GNU_TYPE)
++# only build the C and C++ interfaces
++confflags += --enable-interfaces=c,cxx --disable-ppl_lpsol --disable-ppl_lcdd
+
- ifneq (,$(findstring check,$(DEB_BUILD_OPTIONS)))
++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
+
+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/")
+
+config.status:
+ dh_testdir
- # /usr/share/doc/autotools-dev/README.Debian.gz:
- # - Call the autoconf suite using simple names ("autoconf", "autoheader", etc.)
- # - Call the automake suite using *versioned* names ("automake-1.9", etc),
+ cp -f /usr/share/misc/config.sub config.sub
+ cp -f /usr/share/misc/config.sub Watchdog/config.sub
+ cp -f /usr/share/misc/config.guess config.guess
+ cp -f /usr/share/misc/config.guess Watchdog/config.guess
+ ./configure $(confflags) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info CFLAGS="$(CFLAGS)"
+
+build: build-arch build-indep
+
+build-arch: build-arch-stamp
+build-arch-stamp: config.status
+ $(MAKE) $(NJOBS)
+ touch $@
+
+check:
+ dh_testdir
+ifeq ($(with_check),yes)
+ -$(MAKE) $(NJOBS) check
+# -$(MAKE) $(NJOBS) -C Watchdog check
+else
+ @echo "Testsuite not run: $(with_check)."
+endif
+
+build-indep: build-indep-stamp
+build-indep-stamp: config.status
- # FIXME this depends on build-arch to install the doc to debian/tmp
- # $(MAKE) doc
++ export save_size=10000 ; $(MAKE) -C doc user-configured
+ touch $@
+
+clean:
+ dh_testdir
+ dh_testroot
+ rm -f build-arch-stamp build-indep-stamp
+ [ ! -e Makefile ] || $(MAKE) distclean
+ rm -f config.sub Watchdog/config.sub
+ rm -f config.guess Watchdog/config.guess
+ 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_clean -k -i
- # dh_installdirs -i
-
- ## Add here commands to install the indep part of the package into
- ## debian/<package>-doc.
-
- # dh_install -i
++ 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
+
- # Destination directory for user manual.
- DOC_DIR=debian/libppl-doc/usr/share/doc/libppl-doc
- # Destination directory for developer reference.
- DEV_DOC_DIR=debian/libppl-doc/usr/share/doc/libppl-doc
- #SRC_DOC_DIR=$(CURDIR)/debian/tmp/usr/share/doc/ppl/
- SRC_DOC_DIR=$(CURDIR)/doc
+install-arch: build-arch check
+ dh_testdir
+ dh_testroot
- dh_clean -k -s
+ dh_installdirs -s
+# Add here commands to install the arch part of the package into
+# debian/tmp.
+ $(MAKE) install DESTDIR=$(CURDIR)/debian/tmp
+ $(MAKE) -C Watchdog install DESTDIR=$(CURDIR)/debian/tmp
- # Install the PPL programs.
- # FIXME: Consider installing the ppl_lcdd and ppl_lpsol examples
- # (what about copyrights?).
- cp -a $(CURDIR)/src/ppl-config $(CURDIR)/debian/tmp/usr/bin/
- cp -a $(CURDIR)/demos/ppl_lcdd/ppl_lcdd $(CURDIR)/debian/tmp/usr/bin/
- cp -a $(CURDIR)/demos/ppl_lpsol/ppl_lpsol $(CURDIR)/debian/tmp/usr/bin/
- # Build all the documentation, then move it into debian/tmp
- # directories which have fixed names.
- mkdir -p $(DOC_DIR)/html || exit 1
- mkdir -p $(DEV_DOC_DIR)/html || exit 1
- export save_size=10000 ; $(MAKE) -C doc world
- cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION)-html $(DOC_DIR)/html/user-manual
- cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION).pdf $(DOC_DIR)/ppl-user-browse.pdf
- cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION).ps.gz $(DOC_DIR)/ppl-user-print.ps.gz
- cp -a $(SRC_DOC_DIR)/ppl-devref-$(PPL_VERSION)-html $(DEV_DOC_DIR)/html/developer-reference
- cp -a $(SRC_DOC_DIR)/ppl-devref-$(PPL_VERSION).pdf $(DEV_DOC_DIR)/ppl-devref-browse.pdf
- cp -a $(SRC_DOC_DIR)/ppl-devref-$(PPL_VERSION).ps.gz $(DEV_DOC_DIR)/ppl-devref-print.ps.gz
-
- # Must not depend on anything. This is to be called by
- # binary-arch/binary-indep
- # in another 'make' thread.
++
+binary-arch: install-arch
+ dh_testdir
+ dh_testroot
- dh_installchangelogs
- dh_installdocs
++ dh_installchangelogs -s
++ dh_installdocs -s
+ dh_install -s --sourcedir=debian/tmp
- # dh_installexamples
- # dh_installinfo
- # dh_installman
- # These directories will be symlinks instead. The [^p] is to keep
- # the directory for libppl-pwl.
++# dh_installexamples -s
++# dh_installinfo -s
++# dh_installman -s
++# These directories will be symlinks instead.
+ rm -rf debian/libppl-c2/usr/share/doc/libppl-c2
+# Insrall huge ChangeLog into libppl-dev and libpwl-dev only, with
+# symlinks to other packages.
+ mkdir -p debian/libppl-dev/usr/share/doc/libppl-dev
+ cp ChangeLog debian/libppl-dev/usr/share/doc/libppl-dev/changelog
+ gzip -9nf debian/libppl-dev/usr/share/doc/libppl-dev/changelog
+ mkdir -p debian/libpwl-dev/usr/share/doc/libpwl-dev
+ cp ChangeLog debian/libpwl-dev/usr/share/doc/libpwl-dev/changelog
+ gzip -9nf debian/libpwl-dev/usr/share/doc/libpwl-dev/changelog
- dh_link
- dh_strip
- dh_compress
- dh_fixperms
- dh_makeshlibs
- dh_installdeb
- dh_shlibdeps
- dh_gencontrol
- dh_md5sums
- dh_builddeb
-
- binary-indep: binary-arch install-indep
++ 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_installchangelogs
- dh_installdocs
- dh_link
- dh_strip
- dh_compress
- dh_fixperms
- dh_lintian
- dh_makeshlibs
- dh_installdeb
- dh_gencontrol
- dh_md5sums
- dh_builddeb
++ dh_install -i --sourcedir=debian/tmp
++ dh_installchangelogs -i
++ dh_installdocs -i
++ 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/debian/[^M]* ; \
++ 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: 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