--- ppl-0.10.orig/debian/libppl0.10-dev.dirs +++ ppl-0.10/debian/libppl0.10-dev.dirs @@ -0,0 +1,3 @@ +usr/include +usr/bin +usr/share/man/man1 --- ppl-0.10.orig/debian/libppl7.dirs +++ ppl-0.10/debian/libppl7.dirs @@ -0,0 +1 @@ +usr/lib --- ppl-0.10.orig/debian/libppl-doc.dirs +++ ppl-0.10/debian/libppl-doc.dirs @@ -0,0 +1 @@ +usr/share/doc-base --- ppl-0.10.orig/debian/libpwl-dev.links +++ ppl-0.10/debian/libpwl-dev.links @@ -0,0 +1 @@ +usr/share/doc/libpwl-dev/changelog.gz usr/share/doc/libpwl4/changelog.gz --- ppl-0.10.orig/debian/rules +++ ppl-0.10/debian/rules @@ -0,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 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 + 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 + 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_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 + $(MAKE) -C Watchdog install DESTDIR=$(CURDIR)/debian/tmp + +binary-arch: install-arch + dh_testdir + dh_testroot + dh_installchangelogs -s + 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-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 -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 + 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.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 --- ppl-0.10.orig/debian/libppl-doc.install +++ ppl-0.10/debian/libppl-doc.install @@ -0,0 +1,3 @@ +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 --- ppl-0.10.orig/debian/libppl7.install +++ ppl-0.10/debian/libppl7.install @@ -0,0 +1 @@ +usr/lib/libppl.so.* --- ppl-0.10.orig/debian/libppl-c2.install +++ ppl-0.10/debian/libppl-c2.install @@ -0,0 +1 @@ +usr/lib/libppl_c.so.* --- ppl-0.10.orig/debian/libppl0.10-dev.preinst +++ ppl-0.10/debian/libppl0.10-dev.preinst @@ -0,0 +1,10 @@ +#! /bin/sh -e + +if [ -L /usr/share/doc/libppl-dev ]; then + echo "Removing old libppl-dev doc directory symlink." + rm -rf /usr/share/doc/libppl-dev +fi + +#DEBHELPER# + +exit 0 --- ppl-0.10.orig/debian/libpwl4.dirs +++ ppl-0.10/debian/libpwl4.dirs @@ -0,0 +1 @@ +usr/lib --- ppl-0.10.orig/debian/libppl0.10-dev.install +++ ppl-0.10/debian/libppl0.10-dev.install @@ -0,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 + --- ppl-0.10.orig/debian/changelog +++ ppl-0.10/debian/changelog @@ -0,0 +1,121 @@ +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 Wed, 04 Feb 2009 20:42:26 +0100 + +ppl (0.10-1) unstable; urgency=low + + * New upstream release. + + -- Michael Tautschnig 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 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 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 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 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 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 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 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 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 Sun, 22 Jun 2008 02:09:30 +0200 + +ppl (0.9-1) unstable; urgency=low + + * Initial upload (closes: #409786) + + -- Michael Tautschnig Wed, 04 Jun 2008 19:08:00 +0000 --- ppl-0.10.orig/debian/libppl0.10-dev.docs +++ ppl-0.10/debian/libppl0.10-dev.docs @@ -0,0 +1,4 @@ +BUGS +NEWS +README +CREDITS --- ppl-0.10.orig/debian/libppl0.10-dev.links +++ ppl-0.10/debian/libppl0.10-dev.links @@ -0,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 --- ppl-0.10.orig/debian/control +++ ppl-0.10/debian/control @@ -0,0 +1,98 @@ +Source: ppl +Section: libs +Priority: optional +Maintainer: Debian GCC Maintainers +Uploaders: Michael Tautschnig , Arthur Loiret +Standards-Version: 3.8.0 +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: libppl0.10-dev +Architecture: any +Section: libdevel +Depends: libppl7 (= ${binary:Version}), libppl-c2 (= ${binary:Version}), ${shlibs:Depends} +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. --- ppl-0.10.orig/debian/libpwl-dev.install +++ ppl-0.10/debian/libpwl-dev.install @@ -0,0 +1,2 @@ +usr/lib/libpwl.a +usr/lib/libpwl.so --- ppl-0.10.orig/debian/libpwl4.install +++ ppl-0.10/debian/libpwl4.install @@ -0,0 +1 @@ +usr/lib/libpwl.so.* --- ppl-0.10.orig/debian/libppl-doc.doc-base +++ ppl-0.10/debian/libppl-doc.doc-base @@ -0,0 +1,17 @@ +Document: libppl +Title: The Parma Polyhedra Library User Manual +Author: PPL developers +Abstract: This manual contains a general introduction to the Parma + Polyhedra Library (PPL) and full documentation of the PPL C++ + interface. +Section: Programming/C++ + +Format: postscript +Files: /usr/share/doc/libppl-doc/ppl-user-print.ps.gz + +Format: pdf +Files: /usr/share/doc/libppl-doc/ppl-user-browse.pdf.gz + +Format: HTML +Index: /usr/share/doc/libppl-doc/html/user-manual/index.html +Files: /usr/share/doc/libppl-doc/html/user-manual/*.html --- ppl-0.10.orig/debian/compat +++ ppl-0.10/debian/compat @@ -0,0 +1 @@ +5 --- ppl-0.10.orig/debian/libppl-pwl.copyright.in +++ ppl-0.10/debian/libppl-pwl.copyright.in @@ -0,0 +1,444 @@ +This is the Debian GNU/Linux prepackaged version of the Parma +Polyhedra Library (PPL): a C++ library for the manipulation of +numerical abstractions. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ + + +Sources: this package was put together by the PPL developers +, with sources obtained from + + ftp://ftp.cs.unipr.it/pub/ppl/releases/@VERSION@/ppl-@VERSION@.tar.gz + +or, for prereleases, from the anonymously accessible CVS repository + + :pserver:anoncvs@cvs.cs.unipr.it:/cvs/ppl + + +Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits +for the complete list of authors. + + +Copyright: 2001-2008 Roberto Bagnara + + The PPL is free software; you can redistribute it and/or modify it + under the terms of the GNU General Public License as published by the + Free Software Foundation; either version 3 of the License, or (at your + option) any later version. + + The PPL is distributed in the hope that it will be useful, but WITHOUT + ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software Foundation, + Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +On Debian systems, the complete text of the GNU General Public +License, version 3, can be found in /usr/share/common-licenses/GPL-3. + +The documentation of the PPL is licensed under the GNU Free Documentation +License (v1.2), appended at the end of this file. + + +============================================================================== + + GNU Free Documentation License + Version 1.2, November 2002 + + + Copyright (C) 2000,2001,2002 Free Software Foundation, Inc. + 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA + Everyone is permitted to copy and distribute verbatim copies + of this license document, but changing it is not allowed. + + +0. PREAMBLE + +The purpose of this License is to make a manual, textbook, or other +functional and useful document "free" in the sense of freedom: to +assure everyone the effective freedom to copy and redistribute it, +with or without modifying it, either commercially or noncommercially. +Secondarily, this License preserves for the author and publisher a way +to get credit for their work, while not being considered responsible +for modifications made by others. + +This License is a kind of "copyleft", which means that derivative +works of the document must themselves be free in the same sense. It +complements the GNU General Public License, which is a copyleft +license designed for free software. + +We have designed this License in order to use it for manuals for free +software, because free software needs free documentation: a free +program should come with manuals providing the same freedoms that the +software does. But this License is not limited to software manuals; +it can be used for any textual work, regardless of subject matter or +whether it is published as a printed book. We recommend this License +principally for works whose purpose is instruction or reference. + + +1. APPLICABILITY AND DEFINITIONS + +This License applies to any manual or other work, in any medium, that +contains a notice placed by the copyright holder saying it can be +distributed under the terms of this License. Such a notice grants a +world-wide, royalty-free license, unlimited in duration, to use that +work under the conditions stated herein. The "Document", below, +refers to any such manual or work. Any member of the public is a +licensee, and is addressed as "you". You accept the license if you +copy, modify or distribute the work in a way requiring permission +under copyright law. + +A "Modified Version" of the Document means any work containing the +Document or a portion of it, either copied verbatim, or with +modifications and/or translated into another language. + +A "Secondary Section" is a named appendix or a front-matter section of +the Document that deals exclusively with the relationship of the +publishers or authors of the Document to the Document's overall subject +(or to related matters) and contains nothing that could fall directly +within that overall subject. (Thus, if the Document is in part a +textbook of mathematics, a Secondary Section may not explain any +mathematics.) The relationship could be a matter of historical +connection with the subject or with related matters, or of legal, +commercial, philosophical, ethical or political position regarding +them. + +The "Invariant Sections" are certain Secondary Sections whose titles +are designated, as being those of Invariant Sections, in the notice +that says that the Document is released under this License. If a +section does not fit the above definition of Secondary then it is not +allowed to be designated as Invariant. The Document may contain zero +Invariant Sections. If the Document does not identify any Invariant +Sections then there are none. + +The "Cover Texts" are certain short passages of text that are listed, +as Front-Cover Texts or Back-Cover Texts, in the notice that says that +the Document is released under this License. A Front-Cover Text may +be at most 5 words, and a Back-Cover Text may be at most 25 words. + +A "Transparent" copy of the Document means a machine-readable copy, +represented in a format whose specification is available to the +general public, that is suitable for revising the document +straightforwardly with generic text editors or (for images composed of +pixels) generic paint programs or (for drawings) some widely available +drawing editor, and that is suitable for input to text formatters or +for automatic translation to a variety of formats suitable for input +to text formatters. A copy made in an otherwise Transparent file +format whose markup, or absence of markup, has been arranged to thwart +or discourage subsequent modification by readers is not Transparent. +An image format is not Transparent if used for any substantial amount +of text. A copy that is not "Transparent" is called "Opaque". + +Examples of suitable formats for Transparent copies include plain +ASCII without markup, Texinfo input format, LaTeX input format, SGML +or XML using a publicly available DTD, and standard-conforming simple +HTML, PostScript or PDF designed for human modification. Examples of +transparent image formats include PNG, XCF and JPG. Opaque formats +include proprietary formats that can be read and edited only by +proprietary word processors, SGML or XML for which the DTD and/or +processing tools are not generally available, and the +machine-generated HTML, PostScript or PDF produced by some word +processors for output purposes only. + +The "Title Page" means, for a printed book, the title page itself, +plus such following pages as are needed to hold, legibly, the material +this License requires to appear in the title page. For works in +formats which do not have any title page as such, "Title Page" means +the text near the most prominent appearance of the work's title, +preceding the beginning of the body of the text. + +A section "Entitled XYZ" means a named subunit of the Document whose +title either is precisely XYZ or contains XYZ in parentheses following +text that translates XYZ in another language. (Here XYZ stands for a +specific section name mentioned below, such as "Acknowledgements", +"Dedications", "Endorsements", or "History".) To "Preserve the Title" +of such a section when you modify the Document means that it remains a +section "Entitled XYZ" according to this definition. + +The Document may include Warranty Disclaimers next to the notice which +states that this License applies to the Document. These Warranty +Disclaimers are considered to be included by reference in this +License, but only as regards disclaiming warranties: any other +implication that these Warranty Disclaimers may have is void and has +no effect on the meaning of this License. + + +2. VERBATIM COPYING + +You may copy and distribute the Document in any medium, either +commercially or noncommercially, provided that this License, the +copyright notices, and the license notice saying this License applies +to the Document are reproduced in all copies, and that you add no other +conditions whatsoever to those of this License. You may not use +technical measures to obstruct or control the reading or further +copying of the copies you make or distribute. However, you may accept +compensation in exchange for copies. If you distribute a large enough +number of copies you must also follow the conditions in section 3. + +You may also lend copies, under the same conditions stated above, and +you may publicly display copies. + + +3. COPYING IN QUANTITY + +If you publish printed copies (or copies in media that commonly have +printed covers) of the Document, numbering more than 100, and the +Document's license notice requires Cover Texts, you must enclose the +copies in covers that carry, clearly and legibly, all these Cover +Texts: Front-Cover Texts on the front cover, and Back-Cover Texts on +the back cover. Both covers must also clearly and legibly identify +you as the publisher of these copies. The front cover must present +the full title with all words of the title equally prominent and +visible. You may add other material on the covers in addition. +Copying with changes limited to the covers, as long as they preserve +the title of the Document and satisfy these conditions, can be treated +as verbatim copying in other respects. + +If the required texts for either cover are too voluminous to fit +legibly, you should put the first ones listed (as many as fit +reasonably) on the actual cover, and continue the rest onto adjacent +pages. + +If you publish or distribute Opaque copies of the Document numbering +more than 100, you must either include a machine-readable Transparent +copy along with each Opaque copy, or state in or with each Opaque copy +a computer-network location from which the general network-using +public has access to download using public-standard network protocols +a complete Transparent copy of the Document, free of added material. +If you use the latter option, you must take reasonably prudent steps, +when you begin distribution of Opaque copies in quantity, to ensure +that this Transparent copy will remain thus accessible at the stated +location until at least one year after the last time you distribute an +Opaque copy (directly or through your agents or retailers) of that +edition to the public. + +It is requested, but not required, that you contact the authors of the +Document well before redistributing any large number of copies, to give +them a chance to provide you with an updated version of the Document. + + +4. MODIFICATIONS + +You may copy and distribute a Modified Version of the Document under +the conditions of sections 2 and 3 above, provided that you release +the Modified Version under precisely this License, with the Modified +Version filling the role of the Document, thus licensing distribution +and modification of the Modified Version to whoever possesses a copy +of it. In addition, you must do these things in the Modified Version: + +A. Use in the Title Page (and on the covers, if any) a title distinct + from that of the Document, and from those of previous versions + (which should, if there were any, be listed in the History section + of the Document). You may use the same title as a previous version + if the original publisher of that version gives permission. +B. List on the Title Page, as authors, one or more persons or entities + responsible for authorship of the modifications in the Modified + Version, together with at least five of the principal authors of the + Document (all of its principal authors, if it has fewer than five), + unless they release you from this requirement. +C. State on the Title page the name of the publisher of the + Modified Version, as the publisher. +D. Preserve all the copyright notices of the Document. +E. Add an appropriate copyright notice for your modifications + adjacent to the other copyright notices. +F. Include, immediately after the copyright notices, a license notice + giving the public permission to use the Modified Version under the + terms of this License, in the form shown in the Addendum below. +G. Preserve in that license notice the full lists of Invariant Sections + and required Cover Texts given in the Document's license notice. +H. Include an unaltered copy of this License. +I. Preserve the section Entitled "History", Preserve its Title, and add + to it an item stating at least the title, year, new authors, and + publisher of the Modified Version as given on the Title Page. If + there is no section Entitled "History" in the Document, create one + stating the title, year, authors, and publisher of the Document as + given on its Title Page, then add an item describing the Modified + Version as stated in the previous sentence. +J. Preserve the network location, if any, given in the Document for + public access to a Transparent copy of the Document, and likewise + the network locations given in the Document for previous versions + it was based on. These may be placed in the "History" section. + You may omit a network location for a work that was published at + least four years before the Document itself, or if the original + publisher of the version it refers to gives permission. +K. For any section Entitled "Acknowledgements" or "Dedications", + Preserve the Title of the section, and preserve in the section all + the substance and tone of each of the contributor acknowledgements + and/or dedications given therein. +L. Preserve all the Invariant Sections of the Document, + unaltered in their text and in their titles. Section numbers + or the equivalent are not considered part of the section titles. +M. Delete any section Entitled "Endorsements". Such a section + may not be included in the Modified Version. +N. Do not retitle any existing section to be Entitled "Endorsements" + or to conflict in title with any Invariant Section. +O. Preserve any Warranty Disclaimers. + +If the Modified Version includes new front-matter sections or +appendices that qualify as Secondary Sections and contain no material +copied from the Document, you may at your option designate some or all +of these sections as invariant. To do this, add their titles to the +list of Invariant Sections in the Modified Version's license notice. +These titles must be distinct from any other section titles. + +You may add a section Entitled "Endorsements", provided it contains +nothing but endorsements of your Modified Version by various +parties--for example, statements of peer review or that the text has +been approved by an organization as the authoritative definition of a +standard. + +You may add a passage of up to five words as a Front-Cover Text, and a +passage of up to 25 words as a Back-Cover Text, to the end of the list +of Cover Texts in the Modified Version. Only one passage of +Front-Cover Text and one of Back-Cover Text may be added by (or +through arrangements made by) any one entity. If the Document already +includes a cover text for the same cover, previously added by you or +by arrangement made by the same entity you are acting on behalf of, +you may not add another; but you may replace the old one, on explicit +permission from the previous publisher that added the old one. + +The author(s) and publisher(s) of the Document do not by this License +give permission to use their names for publicity for or to assert or +imply endorsement of any Modified Version. + + +5. COMBINING DOCUMENTS + +You may combine the Document with other documents released under this +License, under the terms defined in section 4 above for modified +versions, provided that you include in the combination all of the +Invariant Sections of all of the original documents, unmodified, and +list them all as Invariant Sections of your combined work in its +license notice, and that you preserve all their Warranty Disclaimers. + +The combined work need only contain one copy of this License, and +multiple identical Invariant Sections may be replaced with a single +copy. If there are multiple Invariant Sections with the same name but +different contents, make the title of each such section unique by +adding at the end of it, in parentheses, the name of the original +author or publisher of that section if known, or else a unique number. +Make the same adjustment to the section titles in the list of +Invariant Sections in the license notice of the combined work. + +In the combination, you must combine any sections Entitled "History" +in the various original documents, forming one section Entitled +"History"; likewise combine any sections Entitled "Acknowledgements", +and any sections Entitled "Dedications". You must delete all sections +Entitled "Endorsements". + + +6. COLLECTIONS OF DOCUMENTS + +You may make a collection consisting of the Document and other documents +released under this License, and replace the individual copies of this +License in the various documents with a single copy that is included in +the collection, provided that you follow the rules of this License for +verbatim copying of each of the documents in all other respects. + +You may extract a single document from such a collection, and distribute +it individually under this License, provided you insert a copy of this +License into the extracted document, and follow this License in all +other respects regarding verbatim copying of that document. + + +7. AGGREGATION WITH INDEPENDENT WORKS + +A compilation of the Document or its derivatives with other separate +and independent documents or works, in or on a volume of a storage or +distribution medium, is called an "aggregate" if the copyright +resulting from the compilation is not used to limit the legal rights +of the compilation's users beyond what the individual works permit. +When the Document is included in an aggregate, this License does not +apply to the other works in the aggregate which are not themselves +derivative works of the Document. + +If the Cover Text requirement of section 3 is applicable to these +copies of the Document, then if the Document is less than one half of +the entire aggregate, the Document's Cover Texts may be placed on +covers that bracket the Document within the aggregate, or the +electronic equivalent of covers if the Document is in electronic form. +Otherwise they must appear on printed covers that bracket the whole +aggregate. + + +8. TRANSLATION + +Translation is considered a kind of modification, so you may +distribute translations of the Document under the terms of section 4. +Replacing Invariant Sections with translations requires special +permission from their copyright holders, but you may include +translations of some or all Invariant Sections in addition to the +original versions of these Invariant Sections. You may include a +translation of this License, and all the license notices in the +Document, and any Warranty Disclaimers, provided that you also include +the original English version of this License and the original versions +of those notices and disclaimers. In case of a disagreement between +the translation and the original version of this License or a notice +or disclaimer, the original version will prevail. + +If a section in the Document is Entitled "Acknowledgements", +"Dedications", or "History", the requirement (section 4) to Preserve +its Title (section 1) will typically require changing the actual +title. + + +9. TERMINATION + +You may not copy, modify, sublicense, or distribute the Document except +as expressly provided for under this License. Any other attempt to +copy, modify, sublicense or distribute the Document is void, and will +automatically terminate your rights under this License. However, +parties who have received copies, or rights, from you under this +License will not have their licenses terminated so long as such +parties remain in full compliance. + + +10. FUTURE REVISIONS OF THIS LICENSE + +The Free Software Foundation may publish new, revised versions +of the GNU Free Documentation License from time to time. Such new +versions will be similar in spirit to the present version, but may +differ in detail to address new problems or concerns. See +http://www.gnu.org/copyleft/. + +Each version of the License is given a distinguishing version number. +If the Document specifies that a particular numbered version of this +License "or any later version" applies to it, you have the option of +following the terms and conditions either of that specified version or +of any later version that has been published (not as a draft) by the +Free Software Foundation. If the Document does not specify a version +number of this License, you may choose any version ever published (not +as a draft) by the Free Software Foundation. + + +ADDENDUM: How to use this License for your documents + +To use this License in a document you have written, include a copy of +the License in the document and put the following copyright and +license notices just after the title page: + + Copyright (c) YEAR YOUR NAME. + Permission is granted to copy, distribute and/or modify this document + under the terms of the GNU Free Documentation License, Version 1.2 + or any later version published by the Free Software Foundation; + with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. + A copy of the license is included in the section entitled "GNU + Free Documentation License". + +If you have Invariant Sections, Front-Cover Texts and Back-Cover Texts, +replace the "with...Texts." line with this: + + with the Invariant Sections being LIST THEIR TITLES, with the + Front-Cover Texts being LIST, and with the Back-Cover Texts being LIST. + +If you have Invariant Sections without Cover Texts, or some other +combination of the three, merge those two alternatives to suit the +situation. + +If your document contains nontrivial examples of program code, we +recommend releasing these examples in parallel under your choice of +free software license, such as the GNU General Public License, +to permit their use in free software. --- ppl-0.10.orig/debian/libpwl4.docs +++ ppl-0.10/debian/libpwl4.docs @@ -0,0 +1,4 @@ +BUGS +NEWS +README +CREDITS --- ppl-0.10.orig/debian/watch +++ ppl-0.10/debian/watch @@ -0,0 +1,6 @@ +version=3 + +opts="uversionmangle=s/pre/~pre/" \ + http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ppl-(.*)\.tar\.gz +http://www.cs.unipr.it/ppl/Download/ftp/releases/LATEST/ppl-(.*)\.tar\.gz + --- ppl-0.10.orig/debian/libppl-c2.links +++ ppl-0.10/debian/libppl-c2.links @@ -0,0 +1 @@ +usr/share/doc/libppl7 usr/share/doc/libppl-c2 --- ppl-0.10.orig/debian/libppl.copyright.in +++ ppl-0.10/debian/libppl.copyright.in @@ -0,0 +1,444 @@ +This is the Debian GNU/Linux prepackaged version of the Parma +Polyhedra Library (PPL): a C++ library for the manipulation of +numerical abstractions. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ + + +Sources: this package was put together by the PPL developers +, with sources obtained from + + ftp://ftp.cs.unipr.it/pub/ppl/releases/@VERSION@/ppl-@VERSION@.tar.gz + +or, for prereleases, from the anonymously accessible CVS repository + + :pserver:anoncvs@cvs.cs.unipr.it:/cvs/ppl + + +Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits +for the complete list of authors. + + +Copyright: 2001-2008 Roberto Bagnara + + The PPL is free software; you can redistribute it and/or modify it + under the terms of the GNU General Public License as published by the + Free Software Foundation; either version 3 of the License, or (at your + option) any later version. + + The PPL is distributed in the hope that it will be useful, but WITHOUT + ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software Foundation, + Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +On Debian systems, the complete text of the GNU General Public +License, version 3, can be found in /usr/share/common-licenses/GPL-3. + +The documentation of the PPL is licensed under the GNU Free Documentation +License (v1.2), appended at the end of this file. + + +============================================================================== + + GNU Free Documentation License + Version 1.2, November 2002 + + + Copyright (C) 2000,2001,2002 Free Software Foundation, Inc. + 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA + Everyone is permitted to copy and distribute verbatim copies + of this license document, but changing it is not allowed. + + +0. PREAMBLE + +The purpose of this License is to make a manual, textbook, or other +functional and useful document "free" in the sense of freedom: to +assure everyone the effective freedom to copy and redistribute it, +with or without modifying it, either commercially or noncommercially. +Secondarily, this License preserves for the author and publisher a way +to get credit for their work, while not being considered responsible +for modifications made by others. + +This License is a kind of "copyleft", which means that derivative +works of the document must themselves be free in the same sense. It +complements the GNU General Public License, which is a copyleft +license designed for free software. + +We have designed this License in order to use it for manuals for free +software, because free software needs free documentation: a free +program should come with manuals providing the same freedoms that the +software does. But this License is not limited to software manuals; +it can be used for any textual work, regardless of subject matter or +whether it is published as a printed book. We recommend this License +principally for works whose purpose is instruction or reference. + + +1. APPLICABILITY AND DEFINITIONS + +This License applies to any manual or other work, in any medium, that +contains a notice placed by the copyright holder saying it can be +distributed under the terms of this License. Such a notice grants a +world-wide, royalty-free license, unlimited in duration, to use that +work under the conditions stated herein. The "Document", below, +refers to any such manual or work. Any member of the public is a +licensee, and is addressed as "you". You accept the license if you +copy, modify or distribute the work in a way requiring permission +under copyright law. + +A "Modified Version" of the Document means any work containing the +Document or a portion of it, either copied verbatim, or with +modifications and/or translated into another language. + +A "Secondary Section" is a named appendix or a front-matter section of +the Document that deals exclusively with the relationship of the +publishers or authors of the Document to the Document's overall subject +(or to related matters) and contains nothing that could fall directly +within that overall subject. (Thus, if the Document is in part a +textbook of mathematics, a Secondary Section may not explain any +mathematics.) The relationship could be a matter of historical +connection with the subject or with related matters, or of legal, +commercial, philosophical, ethical or political position regarding +them. + +The "Invariant Sections" are certain Secondary Sections whose titles +are designated, as being those of Invariant Sections, in the notice +that says that the Document is released under this License. If a +section does not fit the above definition of Secondary then it is not +allowed to be designated as Invariant. The Document may contain zero +Invariant Sections. If the Document does not identify any Invariant +Sections then there are none. + +The "Cover Texts" are certain short passages of text that are listed, +as Front-Cover Texts or Back-Cover Texts, in the notice that says that +the Document is released under this License. A Front-Cover Text may +be at most 5 words, and a Back-Cover Text may be at most 25 words. + +A "Transparent" copy of the Document means a machine-readable copy, +represented in a format whose specification is available to the +general public, that is suitable for revising the document +straightforwardly with generic text editors or (for images composed of +pixels) generic paint programs or (for drawings) some widely available +drawing editor, and that is suitable for input to text formatters or +for automatic translation to a variety of formats suitable for input +to text formatters. A copy made in an otherwise Transparent file +format whose markup, or absence of markup, has been arranged to thwart +or discourage subsequent modification by readers is not Transparent. +An image format is not Transparent if used for any substantial amount +of text. A copy that is not "Transparent" is called "Opaque". + +Examples of suitable formats for Transparent copies include plain +ASCII without markup, Texinfo input format, LaTeX input format, SGML +or XML using a publicly available DTD, and standard-conforming simple +HTML, PostScript or PDF designed for human modification. Examples of +transparent image formats include PNG, XCF and JPG. Opaque formats +include proprietary formats that can be read and edited only by +proprietary word processors, SGML or XML for which the DTD and/or +processing tools are not generally available, and the +machine-generated HTML, PostScript or PDF produced by some word +processors for output purposes only. + +The "Title Page" means, for a printed book, the title page itself, +plus such following pages as are needed to hold, legibly, the material +this License requires to appear in the title page. For works in +formats which do not have any title page as such, "Title Page" means +the text near the most prominent appearance of the work's title, +preceding the beginning of the body of the text. + +A section "Entitled XYZ" means a named subunit of the Document whose +title either is precisely XYZ or contains XYZ in parentheses following +text that translates XYZ in another language. (Here XYZ stands for a +specific section name mentioned below, such as "Acknowledgements", +"Dedications", "Endorsements", or "History".) To "Preserve the Title" +of such a section when you modify the Document means that it remains a +section "Entitled XYZ" according to this definition. + +The Document may include Warranty Disclaimers next to the notice which +states that this License applies to the Document. These Warranty +Disclaimers are considered to be included by reference in this +License, but only as regards disclaiming warranties: any other +implication that these Warranty Disclaimers may have is void and has +no effect on the meaning of this License. + + +2. VERBATIM COPYING + +You may copy and distribute the Document in any medium, either +commercially or noncommercially, provided that this License, the +copyright notices, and the license notice saying this License applies +to the Document are reproduced in all copies, and that you add no other +conditions whatsoever to those of this License. You may not use +technical measures to obstruct or control the reading or further +copying of the copies you make or distribute. However, you may accept +compensation in exchange for copies. If you distribute a large enough +number of copies you must also follow the conditions in section 3. + +You may also lend copies, under the same conditions stated above, and +you may publicly display copies. + + +3. COPYING IN QUANTITY + +If you publish printed copies (or copies in media that commonly have +printed covers) of the Document, numbering more than 100, and the +Document's license notice requires Cover Texts, you must enclose the +copies in covers that carry, clearly and legibly, all these Cover +Texts: Front-Cover Texts on the front cover, and Back-Cover Texts on +the back cover. Both covers must also clearly and legibly identify +you as the publisher of these copies. The front cover must present +the full title with all words of the title equally prominent and +visible. You may add other material on the covers in addition. +Copying with changes limited to the covers, as long as they preserve +the title of the Document and satisfy these conditions, can be treated +as verbatim copying in other respects. + +If the required texts for either cover are too voluminous to fit +legibly, you should put the first ones listed (as many as fit +reasonably) on the actual cover, and continue the rest onto adjacent +pages. + +If you publish or distribute Opaque copies of the Document numbering +more than 100, you must either include a machine-readable Transparent +copy along with each Opaque copy, or state in or with each Opaque copy +a computer-network location from which the general network-using +public has access to download using public-standard network protocols +a complete Transparent copy of the Document, free of added material. +If you use the latter option, you must take reasonably prudent steps, +when you begin distribution of Opaque copies in quantity, to ensure +that this Transparent copy will remain thus accessible at the stated +location until at least one year after the last time you distribute an +Opaque copy (directly or through your agents or retailers) of that +edition to the public. + +It is requested, but not required, that you contact the authors of the +Document well before redistributing any large number of copies, to give +them a chance to provide you with an updated version of the Document. + + +4. MODIFICATIONS + +You may copy and distribute a Modified Version of the Document under +the conditions of sections 2 and 3 above, provided that you release +the Modified Version under precisely this License, with the Modified +Version filling the role of the Document, thus licensing distribution +and modification of the Modified Version to whoever possesses a copy +of it. In addition, you must do these things in the Modified Version: + +A. Use in the Title Page (and on the covers, if any) a title distinct + from that of the Document, and from those of previous versions + (which should, if there were any, be listed in the History section + of the Document). You may use the same title as a previous version + if the original publisher of that version gives permission. +B. List on the Title Page, as authors, one or more persons or entities + responsible for authorship of the modifications in the Modified + Version, together with at least five of the principal authors of the + Document (all of its principal authors, if it has fewer than five), + unless they release you from this requirement. +C. State on the Title page the name of the publisher of the + Modified Version, as the publisher. +D. Preserve all the copyright notices of the Document. +E. Add an appropriate copyright notice for your modifications + adjacent to the other copyright notices. +F. Include, immediately after the copyright notices, a license notice + giving the public permission to use the Modified Version under the + terms of this License, in the form shown in the Addendum below. +G. Preserve in that license notice the full lists of Invariant Sections + and required Cover Texts given in the Document's license notice. +H. Include an unaltered copy of this License. +I. Preserve the section Entitled "History", Preserve its Title, and add + to it an item stating at least the title, year, new authors, and + publisher of the Modified Version as given on the Title Page. If + there is no section Entitled "History" in the Document, create one + stating the title, year, authors, and publisher of the Document as + given on its Title Page, then add an item describing the Modified + Version as stated in the previous sentence. +J. Preserve the network location, if any, given in the Document for + public access to a Transparent copy of the Document, and likewise + the network locations given in the Document for previous versions + it was based on. These may be placed in the "History" section. + You may omit a network location for a work that was published at + least four years before the Document itself, or if the original + publisher of the version it refers to gives permission. +K. For any section Entitled "Acknowledgements" or "Dedications", + Preserve the Title of the section, and preserve in the section all + the substance and tone of each of the contributor acknowledgements + and/or dedications given therein. +L. Preserve all the Invariant Sections of the Document, + unaltered in their text and in their titles. Section numbers + or the equivalent are not considered part of the section titles. +M. Delete any section Entitled "Endorsements". Such a section + may not be included in the Modified Version. +N. Do not retitle any existing section to be Entitled "Endorsements" + or to conflict in title with any Invariant Section. +O. Preserve any Warranty Disclaimers. + +If the Modified Version includes new front-matter sections or +appendices that qualify as Secondary Sections and contain no material +copied from the Document, you may at your option designate some or all +of these sections as invariant. To do this, add their titles to the +list of Invariant Sections in the Modified Version's license notice. +These titles must be distinct from any other section titles. + +You may add a section Entitled "Endorsements", provided it contains +nothing but endorsements of your Modified Version by various +parties--for example, statements of peer review or that the text has +been approved by an organization as the authoritative definition of a +standard. + +You may add a passage of up to five words as a Front-Cover Text, and a +passage of up to 25 words as a Back-Cover Text, to the end of the list +of Cover Texts in the Modified Version. Only one passage of +Front-Cover Text and one of Back-Cover Text may be added by (or +through arrangements made by) any one entity. If the Document already +includes a cover text for the same cover, previously added by you or +by arrangement made by the same entity you are acting on behalf of, +you may not add another; but you may replace the old one, on explicit +permission from the previous publisher that added the old one. + +The author(s) and publisher(s) of the Document do not by this License +give permission to use their names for publicity for or to assert or +imply endorsement of any Modified Version. + + +5. COMBINING DOCUMENTS + +You may combine the Document with other documents released under this +License, under the terms defined in section 4 above for modified +versions, provided that you include in the combination all of the +Invariant Sections of all of the original documents, unmodified, and +list them all as Invariant Sections of your combined work in its +license notice, and that you preserve all their Warranty Disclaimers. + +The combined work need only contain one copy of this License, and +multiple identical Invariant Sections may be replaced with a single +copy. If there are multiple Invariant Sections with the same name but +different contents, make the title of each such section unique by +adding at the end of it, in parentheses, the name of the original +author or publisher of that section if known, or else a unique number. +Make the same adjustment to the section titles in the list of +Invariant Sections in the license notice of the combined work. + +In the combination, you must combine any sections Entitled "History" +in the various original documents, forming one section Entitled +"History"; likewise combine any sections Entitled "Acknowledgements", +and any sections Entitled "Dedications". You must delete all sections +Entitled "Endorsements". + + +6. COLLECTIONS OF DOCUMENTS + +You may make a collection consisting of the Document and other documents +released under this License, and replace the individual copies of this +License in the various documents with a single copy that is included in +the collection, provided that you follow the rules of this License for +verbatim copying of each of the documents in all other respects. + +You may extract a single document from such a collection, and distribute +it individually under this License, provided you insert a copy of this +License into the extracted document, and follow this License in all +other respects regarding verbatim copying of that document. + + +7. AGGREGATION WITH INDEPENDENT WORKS + +A compilation of the Document or its derivatives with other separate +and independent documents or works, in or on a volume of a storage or +distribution medium, is called an "aggregate" if the copyright +resulting from the compilation is not used to limit the legal rights +of the compilation's users beyond what the individual works permit. +When the Document is included in an aggregate, this License does not +apply to the other works in the aggregate which are not themselves +derivative works of the Document. + +If the Cover Text requirement of section 3 is applicable to these +copies of the Document, then if the Document is less than one half of +the entire aggregate, the Document's Cover Texts may be placed on +covers that bracket the Document within the aggregate, or the +electronic equivalent of covers if the Document is in electronic form. +Otherwise they must appear on printed covers that bracket the whole +aggregate. + + +8. TRANSLATION + +Translation is considered a kind of modification, so you may +distribute translations of the Document under the terms of section 4. +Replacing Invariant Sections with translations requires special +permission from their copyright holders, but you may include +translations of some or all Invariant Sections in addition to the +original versions of these Invariant Sections. You may include a +translation of this License, and all the license notices in the +Document, and any Warranty Disclaimers, provided that you also include +the original English version of this License and the original versions +of those notices and disclaimers. In case of a disagreement between +the translation and the original version of this License or a notice +or disclaimer, the original version will prevail. + +If a section in the Document is Entitled "Acknowledgements", +"Dedications", or "History", the requirement (section 4) to Preserve +its Title (section 1) will typically require changing the actual +title. + + +9. TERMINATION + +You may not copy, modify, sublicense, or distribute the Document except +as expressly provided for under this License. Any other attempt to +copy, modify, sublicense or distribute the Document is void, and will +automatically terminate your rights under this License. However, +parties who have received copies, or rights, from you under this +License will not have their licenses terminated so long as such +parties remain in full compliance. + + +10. FUTURE REVISIONS OF THIS LICENSE + +The Free Software Foundation may publish new, revised versions +of the GNU Free Documentation License from time to time. Such new +versions will be similar in spirit to the present version, but may +differ in detail to address new problems or concerns. See +http://www.gnu.org/copyleft/. + +Each version of the License is given a distinguishing version number. +If the Document specifies that a particular numbered version of this +License "or any later version" applies to it, you have the option of +following the terms and conditions either of that specified version or +of any later version that has been published (not as a draft) by the +Free Software Foundation. If the Document does not specify a version +number of this License, you may choose any version ever published (not +as a draft) by the Free Software Foundation. + + +ADDENDUM: How to use this License for your documents + +To use this License in a document you have written, include a copy of +the License in the document and put the following copyright and +license notices just after the title page: + + Copyright (c) YEAR YOUR NAME. + Permission is granted to copy, distribute and/or modify this document + under the terms of the GNU Free Documentation License, Version 1.2 + or any later version published by the Free Software Foundation; + with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. + A copy of the license is included in the section entitled "GNU + Free Documentation License". + +If you have Invariant Sections, Front-Cover Texts and Back-Cover Texts, +replace the "with...Texts." line with this: + + with the Invariant Sections being LIST THEIR TITLES, with the + Front-Cover Texts being LIST, and with the Back-Cover Texts being LIST. + +If you have Invariant Sections without Cover Texts, or some other +combination of the three, merge those two alternatives to suit the +situation. + +If your document contains nontrivial examples of program code, we +recommend releasing these examples in parallel under your choice of +free software license, such as the GNU General Public License, +to permit their use in free software. --- ppl-0.10.orig/debian/copyright +++ ppl-0.10/debian/copyright @@ -0,0 +1,117 @@ +This is Debian GNU's prepackaged version of the Parma Polyhedra Library (PPL): +a C++ library for the manipulation of numerical abstractions. + +This package has seen its final preparation for Debian by Michael Tautschnig + using the sources obtained from +ftp://ftp.cs.unipr.it/pub/ppl/releases/0.9/ppl-0.9.tar.gz + +Program Copyright (C) 2001-2006 Roberto Bagnara +Modifications for Debian Copyright (C) 2008 Michael Tautschnig +and Arthur Loiret . + +Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits +for the complete list of authors. + +License: + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA + +On Debian systems, the complete text of the GNU General +Public License can be found in `/usr/share/common-licenses/GPL' + +This is the Debian GNU/Linux prepackaged version of the Parma +Polyhedra Library (PPL): a C++ library for the manipulation of +numerical abstractions. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ + +The documentation of the PPL is licensed under the GNU Free Documentation +License (v1.2). + +On Debian systems, the complete text of the GNU Free Documentation +License, version 1.2, can be found in /usr/share/common-licenses/GFDL-1.2. + +To some files (listed below), a license as follows applies: + +Copyright (C) 2001-2006 Roberto Bagnara + +This file is free software; as a special exception the author gives +unlimited permission to copy and/or distribute it, with or without +modifications, as long as this notice is preserved. + +This program is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY, to the extent permitted by law; without even the +implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR +PURPOSE. + +This license applies to: + +src/Linear_Expression.types.hh +src/Coefficient_traits_template.hh +src/Poly_Gen_Relation.types.hh +src/C_Polyhedron.types.hh +src/GMP_Integer.types.hh +src/Ptr_Iterator.types.hh +src/Variable.types.hh +src/Linear_System.types.hh +src/Constraint_System.types.hh +src/Linear_Row.types.hh +src/Grid_Certificate.types.hh +src/DB_Row.types.hh +src/LP_Problem.types.hh +src/BHRZ03_Certificate.types.hh +src/Polyhedron.types.hh +src/fpu.types.hh +src/Determinate.types.hh +src/Saturation_Matrix.types.hh +src/Coefficient.types.hh +src/Grid_Generator.types.hh +src/Congruence_System.types.hh +src/globals.types.hh +src/Grid_Generator_System.types.hh +src/Interval.types.hh +src/Scalar_Products.types.hh +src/Generator_System.types.hh +src/Powerset.types.hh +src/Congruence.types.hh +src/Checked_Number.types.hh +src/Constraint.types.hh +src/NNC_Polyhedron.types.hh +src/Saturation_Row.types.hh +src/Topology.hh +src/Init.types.hh +src/Widening_Function.types.hh +src/Matrix.types.hh +src/H79_Certificate.types.hh +src/Generator.types.hh +src/DB_Matrix.types.hh +src/BD_Shape.types.hh +src/Row.types.hh +src/Grid.types.hh +src/Poly_Con_Relation.types.hh +src/Bounding_Box.types.hh +src/Polyhedra_Powerset.types.hh +tests/Partial_Function.types.hh +tests/Random_Number_Generator.types.hh +Watchdog/src/Pending_Element.types.hh +Watchdog/src/EList_Iterator.types.hh +Watchdog/src/EList.types.hh +Watchdog/src/Handler.types.hh +Watchdog/src/Time.types.hh +Watchdog/src/Doubly_Linked_Object.types.hh +Watchdog/src/Watchdog.types.hh +Watchdog/src/Pending_List.types.hh + + --- ppl-0.10.orig/debian/libppl7.docs +++ ppl-0.10/debian/libppl7.docs @@ -0,0 +1,4 @@ +BUGS +NEWS +README +CREDITS --- ppl-0.10.orig/debian/libpwl-dev.preinst +++ ppl-0.10/debian/libpwl-dev.preinst @@ -0,0 +1,10 @@ +#! /bin/sh -e + +if [ -L /usr/share/doc/libpwl-dev ]; then + echo "Removing old libpwl-dev doc directory symlink." + rm -rf /usr/share/doc/libpwl-dev +fi + +#DEBHELPER# + +exit 0 --- ppl-0.10.orig/debian/libppl-c2.dirs +++ ppl-0.10/debian/libppl-c2.dirs @@ -0,0 +1 @@ +usr/lib --- ppl-0.10.orig/debian/libpwl-dev.docs +++ ppl-0.10/debian/libpwl-dev.docs @@ -0,0 +1,4 @@ +BUGS +NEWS +README +CREDITS --- ppl-0.10.orig/src/Float.defs.hh +++ ppl-0.10/src/Float.defs.hh @@ -65,6 +65,12 @@ void build(bool negative, mpz_t mantissa, int exponent); }; +#ifdef WORDS_BIGENDIAN +#ifndef PPL_WORDS_BIGENDIAN +#define PPL_WORDS_BIGENDIAN +#endif +#endif + #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \ingroup PPL_CXX_interface */ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)