[ppl] 16/68: Imported Debian patch 0.10-1
Andreas Tille
tille at debian.org
Sat Nov 12 08:40:32 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 c15a696339d212f96419fc891f7caa34906609da
Merge: 5d25d0b 952763e
Author: Michael Tautschnig <mt at debian.org>
Date: Wed Nov 5 06:54:23 2008 +0000
Imported Debian patch 0.10-1
CREDITS | 333 +-
ChangeLog | 1761 +-
NEWS | 278 +-
README | 49 +-
README.configure | 9 +-
TODO | 15 +-
Watchdog/ChangeLog | 91 +
Watchdog/Makefile.in | 5 +-
Watchdog/README | 6 +-
Watchdog/aclocal.m4 | 2 +
Watchdog/config.rpath | 666 +
Watchdog/configure | 1497 +-
Watchdog/configure.ac | 4 +
Watchdog/doc/Makefile.in | 1 +
Watchdog/doc/devref.doxyconf-html | 62 +-
Watchdog/doc/devref.doxyconf-latex | 62 +-
Watchdog/doc/fdl.pdf | Bin 59059 -> 59059 bytes
Watchdog/doc/fdl.ps.gz | Bin 67867 -> 67864 bytes
Watchdog/doc/gpl.pdf | Bin 71113 -> 71114 bytes
Watchdog/doc/gpl.ps.gz | Bin 80393 -> 80393 bytes
Watchdog/doc/pwl-user-0.5-html.tar.gz | Bin 150623 -> 70687 bytes
Watchdog/doc/pwl-user-0.5.pdf | Bin 414592 -> 250753 bytes
Watchdog/doc/pwl-user-0.5.ps.gz | Bin 215051 -> 184083 bytes
Watchdog/doc/user.doxyconf-html | 8 +-
Watchdog/doc/user.doxyconf-html.in | 2 +-
Watchdog/doc/user.doxyconf-latex | 8 +-
Watchdog/doc/user.doxyconf-latex.in | 2 +-
Watchdog/m4/Makefile.am | 9 +-
Watchdog/m4/Makefile.in | 10 +-
Watchdog/m4/lib-ld.m4 | 110 +
Watchdog/m4/lib-link.m4 | 553 +
Watchdog/src/Makefile.in | 1 +
Watchdog/src/pwl.hh.dist | 84 +-
Watchdog/tests/Makefile.in | 1 +
Watchdog/utils/Makefile.in | 1 +
configure | 26 +-
configure.ac | 6 +-
debian/changelog | 20 +-
demos/ppl_lcdd/ppl_lcdd.1 | 2 +-
demos/ppl_lcdd/ppl_lcdd.cc | 2 +-
demos/ppl_lpsol/ppl_lpsol.1 | 2 +-
demos/ppl_lpsol/ppl_lpsol.c | 2 +-
doc/Makefile.am | 276 +-
doc/Makefile.in | 275 +-
doc/definitions.dox | 8 +-
...doxyconf => devref-language-interface.doxyconf} | 4 +-
...nf.in => devref-language-interface.doxyconf.in} | 0
...interface.tex => devref-language-interface.tex} | 0
doc/devref.doxyconf-html | 470 +-
doc/devref.doxyconf-latex | 468 +-
doc/fdl.pdf | Bin 59058 -> 59060 bytes
doc/fdl.ps.gz | Bin 67868 -> 67867 bytes
doc/gpl.pdf | Bin 71114 -> 71113 bytes
doc/gpl.ps.gz | Bin 80390 -> 80390 bytes
doc/libppl.3 | 32 +-
doc/libppl_c.3 | 22 +
doc/ppl-config.1 | 2 +-
doc/ppl-user-0.10-html.tar.gz | Bin 0 -> 858117 bytes
doc/{ppl-user-0.10pre36.pdf => ppl-user-0.10.pdf} | 90005 +++++++++----------
doc/ppl-user-0.10.ps.gz | Bin 0 -> 1533689 bytes
doc/ppl-user-0.10pre36-html.tar.gz | Bin 1045480 -> 0 bytes
doc/ppl-user-0.10pre36.ps.gz | Bin 1577051 -> 0 bytes
doc/ppl-user-c-interface-0.10-html.tar.gz | Bin 0 -> 164749 bytes
...0.10pre36.pdf => ppl-user-c-interface-0.10.pdf} | 7853 +-
doc/ppl-user-c-interface-0.10.ps.gz | Bin 0 -> 404006 bytes
doc/ppl-user-c-interface-0.10pre36-html.tar.gz | Bin 165356 -> 0 bytes
doc/ppl-user-c-interface-0.10pre36.ps.gz | Bin 404150 -> 0 bytes
doc/ppl-user-java-interface-0.10-html.tar.gz | Bin 0 -> 163330 bytes
doc/ppl-user-java-interface-0.10.pdf | 18242 ++++
doc/ppl-user-java-interface-0.10.ps.gz | Bin 0 -> 384352 bytes
doc/ppl-user-java-interface-0.10pre36-html.tar.gz | Bin 256851 -> 0 bytes
doc/ppl-user-java-interface-0.10pre36.pdf | 19990 ----
doc/ppl-user-java-interface-0.10pre36.ps.gz | Bin 409690 -> 0 bytes
doc/ppl-user-ocaml-interface-0.10-html.tar.gz | Bin 0 -> 69407 bytes
...pre36.pdf => ppl-user-ocaml-interface-0.10.pdf} | Bin 238043 -> 237885 bytes
doc/ppl-user-ocaml-interface-0.10.ps.gz | Bin 0 -> 197894 bytes
doc/ppl-user-ocaml-interface-0.10pre36-html.tar.gz | Bin 69422 -> 0 bytes
doc/ppl-user-ocaml-interface-0.10pre36.ps.gz | Bin 197921 -> 0 bytes
doc/ppl-user-prolog-interface-0.10-html.tar.gz | Bin 0 -> 72415 bytes
...re36.pdf => ppl-user-prolog-interface-0.10.pdf} | Bin 263972 -> 264123 bytes
doc/ppl-user-prolog-interface-0.10.ps.gz | Bin 0 -> 236323 bytes
...ppl-user-prolog-interface-0.10pre36-html.tar.gz | Bin 72504 -> 0 bytes
doc/ppl-user-prolog-interface-0.10pre36.ps.gz | Bin 236080 -> 0 bytes
doc/ppl.sty | 4 +-
...e.doxyconf => user-language-interface.doxyconf} | 6 +-
...conf.in => user-language-interface.doxyconf.in} | 2 +-
...e-interface.tex => user-language-interface.tex} | 0
doc/user.doxyconf-html | 16 +-
doc/user.doxyconf-html.in | 2 +-
doc/user.doxyconf-latex | 14 +-
doc/user.doxyconf-latex.in | 2 +-
interfaces/Java/Makefile.am | 3 +-
interfaces/Java/Makefile.in | 3 +-
interfaces/Java/README.java | 26 +
interfaces/Java/jni/Makefile.am | 26 +-
interfaces/Java/jni/Makefile.in | 66 +-
interfaces/OCaml/Makefile.am | 3 +-
interfaces/OCaml/Makefile.in | 3 +-
interfaces/OCaml/README.ocaml | 35 +
interfaces/OCaml/tests/test1.ml | 3 +-
interfaces/Prolog/Ciao/Makefile.am | 7 +
interfaces/Prolog/Ciao/Makefile.in | 2 +
interfaces/Prolog/GNU/Makefile.am | 22 +-
interfaces/Prolog/GNU/Makefile.in | 11 +-
interfaces/Prolog/GNU/README.gprolog | 19 +-
interfaces/Prolog/Prolog_interface.dox | 67 +-
interfaces/Prolog/SICStus/Makefile.am | 7 +
interfaces/Prolog/SICStus/Makefile.in | 2 +
interfaces/Prolog/SWI/Makefile.am | 29 +-
interfaces/Prolog/SWI/Makefile.in | 17 +-
interfaces/Prolog/SWI/README.swiprolog | 21 +-
interfaces/Prolog/XSB/Makefile.am | 7 +
interfaces/Prolog/XSB/Makefile.in | 2 +
interfaces/Prolog/YAP/Makefile.am | 7 +-
interfaces/Prolog/YAP/Makefile.in | 7 +-
.../Prolog/ppl_interface_generator_prolog_dox.m4 | 168 +-
.../ppl_interface_generator_prolog_dox_code.m4 | 375 +-
interfaces/interfaced_boxes.hh | 3 +-
interfaces/marked_pointers.hh | 3 +-
src/BD_Shape.defs.hh | 140 +-
src/Box.defs.hh | 85 +-
src/CREDITS.cc.dist | 333 +-
src/Grid.defs.hh | 90 +-
src/Grid.templates.hh | 2 +-
src/Init.cc | 6 +-
src/Octagonal_Shape.defs.hh | 87 +-
src/Partially_Reduced_Product.defs.hh | 8 +-
src/Pointset_Powerset.defs.hh | 4 +-
src/Poly_Con_Relation.defs.hh | 4 +-
src/Poly_Gen_Relation.defs.hh | 4 +-
src/namespaces.hh | 22 +-
src/ppl-config.cc | 8 +-
src/ppl.hh.dist | 1262 +-
src/version.cc | 15 +-
tests/Polyhedron/memory1.cc | 2 +-
tests/Polyhedron/memory2.cc | 2 +-
136 files changed, 73683 insertions(+), 72718 deletions(-)
diff --cc debian/changelog
index e86df39,0000000..1bce311
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,123 -1,0 +1,111 @@@
- ppl (0.10~pre36-1) unstable; urgency=low
++ppl (0.10-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
++ * 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
--
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