debian/0000755000000000000000000000000012312365242007166 5ustar debian/compat0000644000000000000000000000000211537462563010400 0ustar 5 debian/libppl-dev.dirs0000644000000000000000000000004711266040422012105 0ustar usr/include usr/bin usr/share/man/man1 debian/libppl-doc.doc-base0000644000000000000000000000105111266040422012604 0ustar 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 debian/rules0000755000000000000000000001524212312341226010246 0ustar #!/usr/bin/make -f # -*- makefile -*- # This file was originally written by Joey Hess and Craig Small. # As a special exception, when this file is copied by dh-make into a # dh-make output file, you may use that output file without restriction. # This special exception was added by Craig Small in version 0.37 of dh-make. # # Modified to make a template file for a multi-binary package with separated # build-arch and build-indep targets by Bill Allombert 2001 # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 # This has to be exported to make some magic below work. export DH_OPTIONS # These are used for cross-compiling and for saving the configure script # from having to guess our platform (since we know it already) DEB_HOST_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE) DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH) DEB_BUILD_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE) CPPFLAGS := $(shell dpkg-buildflags --get CPPFLAGS) CFLAGS := $(shell dpkg-buildflags --get CFLAGS) -Wall -g CXXFLAGS := $(shell dpkg-buildflags --get CXXFLAGS) -Wall -g LDFLAGS := $(shell dpkg-buildflags --get LDFLAGS) # not yet ready for this new default warning ... CXXFLAGS += -Wno-unused-local-typedefs # FOR AUTOCONF 2.52 AND NEWER ONLY confflags += --build $(DEB_BUILD_GNU_TYPE) --host $(DEB_HOST_GNU_TYPE) confflags += --disable-ppl_lpsol --disable-ppl_lcdd derivative := $(shell if dpkg-vendor --derives-from Ubuntu; then echo Ubuntu; else echo Debian; fi) # Disable the SWI-Prolog interface during architecture bootstrap, and # on some architectures ifneq (,$(filter stage1,$(DEB_STAGE))$(filter $(DEB_HOST_ARCH),arm64 hurd-i386)) with_swi_prolog := else with_swi_prolog := yes endif # in Ubuntu, it's in universe ifeq ($(derivative),Ubuntu) with_swi_prolog := endif ifeq ($(with_swi_prolog),yes) confflags += --enable-interfaces=c,cxx,swi_prolog else confflags += --enable-interfaces=c,cxx DH_OPTIONS += -Nlibppl-swi export DH_OPTIONS endif ifneq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS))) with_check := disabled by DEB_BUILD_OPTIONS. else ifneq ($(DEB_HOST_GNU_TYPE),$(DEB_BUILD_GNU_TYPE)) with_check := disabled because cross-compiling. else with_check := yes endif endif #with_check := disabled for this upload ifneq (,$(filter parallel=%,$(DEB_BUILD_OPTIONS))) NJOBS := -j$(patsubst parallel=%,%,$(filter parallel=%,$(DEB_BUILD_OPTIONS))) endif # If the version string was set using automake then the build would # have to be configured before the dpkg-buildpackage command. PPL_VERSION = $(shell grep "^AC_INIT" $(CURDIR)/configure.ac | sed -e "s/^AC_INIT.\[[^]]*\],[ \t]*\[\([^]]*\)\],.*/\1/") ifneq (,$(filter $(DEB_HOST_GNU_TYPE), arm-linux-gnueabi arm-linux-gnueabihf powerpc-linux-gnu)) # powerpc runs out of memory building the test suite with -g, but is OK # with -gstabs instead. CHECK_ENV := CFLAGS="$(CFLAGS:-g=-gstabs)" CXXFLAGS="$(CXXFLAGS:-g=-gstabs)" else CHECK_ENV := endif configure: configure-stamp configure-stamp: dh_testdir dh_autoreconf ./configure $(confflags) \ --prefix=/usr \ --libdir=\$${prefix}/lib/$(DEB_HOST_MULTIARCH) \ --mandir=\$${prefix}/share/man \ --infodir=\$${prefix}/share/info \ CPPFLAGS="$(CPPFLAGS)" \ CFLAGS="$(CFLAGS)" \ CXXFLAGS="$(CXXFLAGS)" \ LDFLAGS="$(LDFLAGS)" touch $@ build: build-arch build-arch: build-arch-stamp build-arch-stamp: configure-stamp $(MAKE) $(NJOBS) touch $@ check: dh_testdir ifeq ($(with_check),yes) ifneq (,$(filter $(DEB_HOST_ARCH), alpha armel s390x)) # There are some failures in the testsuite on alpha, # maybe related to http://gcc.gnu.org/PR8966 # Testsuite is miscompiled on arm, see #593324 $(MAKE) $(NJOBS) -k check $(CHECK_ENV) || true else $(MAKE) $(NJOBS) check $(CHECK_ENV) endif else @echo "Testsuite not run: $(with_check)." endif build-indep: build-indep-stamp build-indep-stamp: configure-stamp export save_size=10000 ; $(MAKE) -C doc user-configured touch $@ clean: dh_testdir dh_testroot rm -f configure-stamp build-stamp rm -f build-arch-stamp build-indep-stamp [ ! -e Makefile ] || $(MAKE) distclean dh_autoreconf_clean dh_clean install: install-indep install-arch # Destination directory for user manual. DOC_DIR=$(CURDIR)/debian/tmp/usr/share/doc/ppl install-indep: build-indep dh_testdir dh_testroot dh_installdirs -i # Build all the documentation, then move it into debian/tmp # directories which have fixed names. mkdir -p $(DOC_DIR)/html || exit 1 mv $(DOC_DIR)/ppl-user-$(PPL_VERSION)-html $(DOC_DIR)/html/user-manual mv $(DOC_DIR)/ppl-user-$(PPL_VERSION).pdf $(DOC_DIR)/ppl-user-browse.pdf mv $(DOC_DIR)/ppl-user-$(PPL_VERSION).ps.gz $(DOC_DIR)/ppl-user-print.ps.gz install-arch: build-arch check dh_testdir dh_testroot dh_installdirs -s # Add here commands to install the arch part of the package into # debian/tmp. $(MAKE) install DESTDIR=$(CURDIR)/debian/tmp mkdir -p debian/tmp/usr/include/$(DEB_HOST_MULTIARCH) mv debian/tmp/usr/include/*.*h debian/tmp/usr/include/$(DEB_HOST_MULTIARCH)/ -chrpath -d \ debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/libppl.so.13.0.0 \ debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/libppl_c.so.4.0.0 \ debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/ppl/libppl_swiprolog.so binary-arch: install-arch dh_testdir dh_testroot dh_installchangelogs -s ChangeLog dh_installdocs -s dh_install -s --sourcedir=debian/tmp # dh_installexamples -s # dh_installinfo -s # dh_installman -s # These directories will be symlinks instead. rm -rf debian/libppl-c4/usr/share/doc/libppl-c4 rm -rf debian/libppl-swi/usr/share/doc/libppl-swi dh_link -s dh_strip -s dh_compress -s dh_fixperms -s dh_makeshlibs -s dh_installdeb -s dh_shlibdeps -s dh_gencontrol -s dh_md5sums -s dh_builddeb -s binary-indep: install-indep dh_testdir dh_testroot dh_install -i --sourcedir=debian/tmp dh_installchangelogs -i ChangeLog dh_installdocs -i rm -f debian/libppl-doc/usr/share/doc/libppl-doc/html/user-manual/jquery.js dh_link -plibppl-doc \ /usr/share/javascript/jquery/jquery.js \ /usr/share/doc/libppl-doc/html/user-manual/jquery.js dh_link -i dh_compress -i dh_fixperms -i # dh_lintian -i dh_installdeb -i dh_gencontrol -i dh_md5sums -i dh_builddeb -i binary: binary-arch binary-indep get-orig-source: rm -f ppl_*.orig.tar.gz wget ftp://ftp.cs.unipr.it/pub/ppl/snapshots/*.tar.gz vers=`ls ppl-*.tar.gz | tail -1 | sed 's/^ppl-//' | sed 's/.tar.gz$$//'` ; \ debvers=`echo $$vers | sed 's/pre/~pre/'` ; \ tar xzf ppl-$$vers.tar.gz ; \ rm ppl-$$vers.tar.gz ; mv ppl-$$vers ppl-$$debvers ; \ tar czf ppl_$$debvers.orig.tar.gz ppl-$$debvers ; \ rm -r ppl-$$debvers .PHONY: configure build check clean binary-indep binary-arch binary install install-indep install-arch get-orig-source debian/copyright0000644000000000000000000001002712141731454011123 0ustar 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/ 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-3' 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/BHRZ03_Certificate.types.hh src/Polyhedron.types.hh src/fpu.types.hh src/Determinate.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/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 tests/Partial_Function.types.hh tests/Random_Number_Generator.types.hh src/Pending_Element.types.hh src/EList_Iterator.types.hh src/EList.types.hh src/Handler.types.hh src/Time.types.hh src/Doubly_Linked_Object.types.hh src/Watchdog.types.hh src/Pending_List.types.hh src/OR_Matrix.types.hh src/Interval_Info.types.hh src/Bit_Row.types.hh src/Pointset_Powerset.types.hh src/iterator_to_const.types.hh src/MIP_Problem.types.hh src/stdiobuf.types.hh src/Partially_Reduced_Product.types.hh src/distances.types.hh src/Octagonal_Shape.types.hh src/Box.types.hh src/Bit_Matrix.types.hh src/Variables_Set.types.hh debian/libppl-c4.install0000644000000000000000000000003011644621000012327 0ustar usr/lib/*/libppl_c.so.* debian/libppl13.dirs0000644000000000000000000000001011266040422011463 0ustar usr/lib debian/libppl-doc.install0000644000000000000000000000030011266040422012571 0ustar 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 debian/source/0000755000000000000000000000000011332033713010462 5ustar debian/source/format0000644000000000000000000000001411332033713011670 0ustar 3.0 (quilt) debian/libppl-dev.docs0000644000000000000000000000003111266040422012065 0ustar BUGS NEWS README CREDITS debian/libppl-c4.links0000644000000000000000000000005712142737104012021 0ustar usr/share/doc/libppl13 usr/share/doc/libppl-c4 debian/watch0000644000000000000000000000014712101341641010212 0ustar version=3 http://bugseng.com/products/ppl/download .*/ppl-(\d.*)\.(?:tgz|tbz2|txz|tar\.(?:gz|bz2|xz)) debian/patches/0000755000000000000000000000000012312357672010625 5ustar debian/patches/series0000644000000000000000000000006012312341314012020 0ustar local_changes.diff gcc-4.9.diff link-tests.diff debian/patches/gcc-4.9.diff0000644000000000000000000002500312312333113012503 0ustar Index: b/src/CO_Tree_inlines.hh =================================================================== --- a/src/CO_Tree_inlines.hh +++ b/src/CO_Tree_inlines.hh @@ -31,7 +31,7 @@ PPL_ASSERT(itr.current_index != 0); PPL_ASSERT(itr.current_index >= indexes + 1); PPL_ASSERT(itr.current_index <= indexes + reserved_size); - const ptrdiff_t index = itr.current_index - indexes; + const std::ptrdiff_t index = itr.current_index - indexes; return static_cast(index); } @@ -40,7 +40,7 @@ PPL_ASSERT(itr.current_index != 0); PPL_ASSERT(itr.current_index >= indexes + 1); PPL_ASSERT(itr.current_index <= indexes + reserved_size); - const ptrdiff_t index = itr.current_index - indexes; + const std::ptrdiff_t index = itr.current_index - indexes; return static_cast(index); } @@ -772,7 +772,7 @@ p -= (offset - 1); while (*p == unused_index) ++p; - const ptrdiff_t distance = p - tree.indexes; + const std::ptrdiff_t distance = p - tree.indexes; PPL_ASSERT(distance >= 0); i = static_cast(distance); offset = least_significant_one_mask(i); @@ -787,7 +787,7 @@ p += (offset - 1); while (*p == unused_index) --p; - const ptrdiff_t distance = p - tree.indexes; + const std::ptrdiff_t distance = p - tree.indexes; PPL_ASSERT(distance >= 0); i = static_cast(distance); offset = least_significant_one_mask(i); Index: b/src/CO_Tree.cc =================================================================== --- a/src/CO_Tree.cc +++ b/src/CO_Tree.cc @@ -954,7 +954,7 @@ --subtree_size; } - const ptrdiff_t distance = first_unused_index - indexes; + const std::ptrdiff_t distance = first_unused_index - indexes; PPL_ASSERT(distance >= 0); return static_cast(distance); } Index: b/src/CO_Tree_defs.hh =================================================================== --- a/src/CO_Tree_defs.hh +++ b/src/CO_Tree_defs.hh @@ -159,7 +159,7 @@ typedef std::bidirectional_iterator_tag iterator_category; typedef const data_type value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef data_type_const_reference reference; @@ -314,7 +314,7 @@ typedef std::bidirectional_iterator_tag iterator_category; typedef data_type value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef value_type& reference; Index: b/src/Constraint_System_defs.hh =================================================================== --- a/src/Constraint_System_defs.hh +++ b/src/Constraint_System_defs.hh @@ -609,7 +609,7 @@ class Parma_Polyhedra_Library::Constraint_System_const_iterator : public std::iterator { public: Index: b/src/Dense_Row_defs.hh =================================================================== --- a/src/Dense_Row_defs.hh +++ b/src/Dense_Row_defs.hh @@ -433,7 +433,7 @@ typedef std::bidirectional_iterator_tag iterator_category; typedef Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef value_type& reference; @@ -474,7 +474,7 @@ public: typedef const Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef Coefficient_traits::const_reference reference; Index: b/src/Generator_System_defs.hh =================================================================== --- a/src/Generator_System_defs.hh +++ b/src/Generator_System_defs.hh @@ -679,7 +679,7 @@ class Parma_Polyhedra_Library::Generator_System_const_iterator : public std::iterator { public: Index: b/src/Grid_Generator_System_defs.hh =================================================================== --- a/src/Grid_Generator_System_defs.hh +++ b/src/Grid_Generator_System_defs.hh @@ -277,7 +277,7 @@ class const_iterator : public std::iterator { public: Index: b/src/Linear_Expression_Interface_defs.hh =================================================================== --- a/src/Linear_Expression_Interface_defs.hh +++ b/src/Linear_Expression_Interface_defs.hh @@ -65,7 +65,7 @@ public: typedef std::bidirectional_iterator_tag iterator_category; typedef const Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef Coefficient_traits::const_reference reference; Index: b/src/Linear_Expression_defs.hh =================================================================== --- a/src/Linear_Expression_defs.hh +++ b/src/Linear_Expression_defs.hh @@ -381,7 +381,7 @@ public: typedef std::bidirectional_iterator_tag iterator_category; typedef const Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef Coefficient_traits::const_reference reference; Index: b/src/ppl.hh.dist =================================================================== --- a/src/ppl.hh.dist +++ b/src/ppl.hh.dist @@ -20190,7 +20190,7 @@ typedef std::bidirectional_iterator_tag iterator_category; typedef Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef value_type& reference; @@ -20231,7 +20231,7 @@ public: typedef const Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef Coefficient_traits::const_reference reference; @@ -21013,7 +21013,7 @@ typedef std::bidirectional_iterator_tag iterator_category; typedef const data_type value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef data_type_const_reference reference; @@ -21168,7 +21168,7 @@ typedef std::bidirectional_iterator_tag iterator_category; typedef data_type value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef value_type& reference; @@ -22419,7 +22419,7 @@ PPL_ASSERT(itr.current_index != 0); PPL_ASSERT(itr.current_index >= indexes + 1); PPL_ASSERT(itr.current_index <= indexes + reserved_size); - const ptrdiff_t index = itr.current_index - indexes; + const std::ptrdiff_t index = itr.current_index - indexes; return static_cast(index); } @@ -22428,7 +22428,7 @@ PPL_ASSERT(itr.current_index != 0); PPL_ASSERT(itr.current_index >= indexes + 1); PPL_ASSERT(itr.current_index <= indexes + reserved_size); - const ptrdiff_t index = itr.current_index - indexes; + const std::ptrdiff_t index = itr.current_index - indexes; return static_cast(index); } @@ -23160,7 +23160,7 @@ p -= (offset - 1); while (*p == unused_index) ++p; - const ptrdiff_t distance = p - tree.indexes; + const std::ptrdiff_t distance = p - tree.indexes; PPL_ASSERT(distance >= 0); i = static_cast(distance); offset = least_significant_one_mask(i); @@ -23175,7 +23175,7 @@ p += (offset - 1); while (*p == unused_index) --p; - const ptrdiff_t distance = p - tree.indexes; + const std::ptrdiff_t distance = p - tree.indexes; PPL_ASSERT(distance >= 0); i = static_cast(distance); offset = least_significant_one_mask(i); @@ -24811,7 +24811,7 @@ public: typedef std::bidirectional_iterator_tag iterator_category; typedef const Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef Coefficient_traits::const_reference reference; @@ -27513,7 +27513,7 @@ public: typedef std::bidirectional_iterator_tag iterator_category; typedef const Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef Coefficient_traits::const_reference reference; @@ -42687,7 +42687,7 @@ class Parma_Polyhedra_Library::Constraint_System_const_iterator : public std::iterator { public: @@ -43402,7 +43402,7 @@ class const_iterator : public std::iterator { public: @@ -45485,7 +45485,7 @@ class Parma_Polyhedra_Library::Generator_System_const_iterator : public std::iterator { public: @@ -54708,7 +54708,7 @@ class const_iterator : public std::iterator { public: Index: b/src/Congruence_System_defs.hh =================================================================== --- a/src/Congruence_System_defs.hh +++ b/src/Congruence_System_defs.hh @@ -249,7 +249,7 @@ public: class const_iterator : public std::iterator { public: debian/patches/local_changes.diff0000644000000000000000000000242412312333332014226 0ustar Index: b/doc/user-language-interface.tex =================================================================== --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -59,6 +59,7 @@ \usepackage{pspicture} \fi \usepackage[utf8]{inputenc} +\usepackage[table]{xcolor} \usepackage{doxygen} \usepackage{ppl} Index: b/doc/devref.tex =================================================================== --- a/doc/devref.tex +++ b/doc/devref.tex @@ -59,6 +59,7 @@ \usepackage{pspicture} \fi \usepackage[utf8]{inputenc} +\usepackage[table]{xcolor} \usepackage{doxygen} \usepackage{ppl} \makeindex Index: b/doc/user.tex =================================================================== --- a/doc/user.tex +++ b/doc/user.tex @@ -59,6 +59,7 @@ \usepackage{pspicture} \fi \usepackage[utf8]{inputenc} +\usepackage[table]{xcolor} \usepackage{doxygen} \usepackage{ppl} \makeindex Index: b/doc/devref-language-interface.tex =================================================================== --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -59,6 +59,7 @@ \usepackage{pspicture} \fi \usepackage[utf8]{inputenc} +\usepackage[table]{xcolor} \usepackage{doxygen} \usepackage{ppl} debian/patches/link-tests.diff0000644000000000000000000001154512312357672013562 0ustar Index: b/tests/Makefile.am =================================================================== --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -48,6 +48,7 @@ LDADD = \ $(top_builddir)/src/libppl.la \ libppl_tests.a \ +-lmpc \ @extra_libraries@ noinst_HEADERS = \ Index: b/tests/BD_Shape/Makefile.am =================================================================== --- a/tests/BD_Shape/Makefile.am +++ b/tests/BD_Shape/Makefile.am @@ -50,7 +50,7 @@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ -$(top_builddir)/tests/libppl_tests.a \ +$(top_builddir)/tests/libppl_tests.a -lmpc \ $(top_builddir)/src/libppl.la \ @extra_libraries@ Index: b/tests/Box/Makefile.am =================================================================== --- a/tests/Box/Makefile.am +++ b/tests/Box/Makefile.am @@ -50,7 +50,7 @@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ -$(top_builddir)/tests/libppl_tests.a \ +$(top_builddir)/tests/libppl_tests.a -lmpc \ $(top_builddir)/src/libppl.la \ @extra_libraries@ Index: b/tests/CO_Tree/Makefile.am =================================================================== --- a/tests/CO_Tree/Makefile.am +++ b/tests/CO_Tree/Makefile.am @@ -47,7 +47,7 @@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ -$(top_builddir)/tests/libppl_tests.a \ +$(top_builddir)/tests/libppl_tests.a -lmpc \ $(top_builddir)/src/libppl.la \ @extra_libraries@ Index: b/tests/Concrete_Expression/Makefile.am =================================================================== --- a/tests/Concrete_Expression/Makefile.am +++ b/tests/Concrete_Expression/Makefile.am @@ -50,7 +50,7 @@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ -$(top_builddir)/tests/libppl_tests.a \ +$(top_builddir)/tests/libppl_tests.a -lmpc \ $(top_builddir)/src/libppl.la \ @extra_libraries@ Index: b/tests/Grid/Makefile.am =================================================================== --- a/tests/Grid/Makefile.am +++ b/tests/Grid/Makefile.am @@ -46,7 +46,7 @@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ -$(top_builddir)/tests/libppl_tests.a \ +$(top_builddir)/tests/libppl_tests.a -lmpc \ $(top_builddir)/src/libppl.la \ @extra_libraries@ Index: b/tests/MIP_Problem/Makefile.am =================================================================== --- a/tests/MIP_Problem/Makefile.am +++ b/tests/MIP_Problem/Makefile.am @@ -47,7 +47,7 @@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ -$(top_builddir)/tests/libppl_tests.a \ +$(top_builddir)/tests/libppl_tests.a -lmpc \ $(top_builddir)/src/libppl.la \ @extra_libraries@ Index: b/tests/Octagonal_Shape/Makefile.am =================================================================== --- a/tests/Octagonal_Shape/Makefile.am +++ b/tests/Octagonal_Shape/Makefile.am @@ -50,7 +50,7 @@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ -$(top_builddir)/tests/libppl_tests.a \ +$(top_builddir)/tests/libppl_tests.a -lmpc \ $(top_builddir)/src/libppl.la \ @extra_libraries@ Index: b/tests/PIP_Problem/Makefile.am =================================================================== --- a/tests/PIP_Problem/Makefile.am +++ b/tests/PIP_Problem/Makefile.am @@ -47,7 +47,7 @@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ -$(top_builddir)/tests/libppl_tests.a \ +$(top_builddir)/tests/libppl_tests.a -lmpc \ $(top_builddir)/src/libppl.la \ @extra_libraries@ Index: b/tests/Partially_Reduced_Product/Makefile.am =================================================================== --- a/tests/Partially_Reduced_Product/Makefile.am +++ b/tests/Partially_Reduced_Product/Makefile.am @@ -50,7 +50,7 @@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ -$(top_builddir)/tests/libppl_tests.a \ +$(top_builddir)/tests/libppl_tests.a -lmpc \ $(top_builddir)/src/libppl.la \ @extra_libraries@ Index: b/tests/Polyhedron/Makefile.am =================================================================== --- a/tests/Polyhedron/Makefile.am +++ b/tests/Polyhedron/Makefile.am @@ -47,7 +47,7 @@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ -$(top_builddir)/tests/libppl_tests.a \ +$(top_builddir)/tests/libppl_tests.a -lmpc \ $(top_builddir)/src/libppl.la \ @extra_libraries@ Index: b/tests/Powerset/Makefile.am =================================================================== --- a/tests/Powerset/Makefile.am +++ b/tests/Powerset/Makefile.am @@ -46,7 +46,7 @@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ -$(top_builddir)/tests/libppl_tests.a \ +$(top_builddir)/tests/libppl_tests.a -lmpc \ $(top_builddir)/src/libppl.la \ @extra_libraries@ Index: b/tests/Watchdog/Makefile.am =================================================================== --- a/tests/Watchdog/Makefile.am +++ b/tests/Watchdog/Makefile.am @@ -45,8 +45,9 @@ @debug_flag@ LDADD = \ -$(top_builddir)/tests/libppl_tests.a \ -$(top_builddir)/src/libppl.la +$(top_builddir)/tests/libppl_tests.a -lmpc \ +$(top_builddir)/src/libppl.la \ +@extra_libraries@ EXTRA_DIST = debian/ppl-dev.install0000644000000000000000000000006412010500726012116 0ustar /usr/bin/ppl-config usr/share/man/man1/ppl-config.1 debian/libppl-dev.install0000644000000000000000000000035712010500744012612 0ustar usr/include/*/ppl.hh usr/include/*/ppl_c.h 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/share/aclocal/ppl.m4 usr/share/aclocal/ppl_c.m4 debian/control0000644000000000000000000001334412312365047010601 0ustar Source: ppl Section: libs Priority: optional Maintainer: Debian GCC Maintainers Uploaders: Michael Tautschnig , Arthur Loiret , Matthias Klose Standards-Version: 3.9.5 Build-Depends: debhelper (>= 6.0.7~), libmpc-dev, libgmp-dev, autoconf, libtool, dh-autoreconf, chrpath, libncurses5-dev, libncursesw5-dev Build-Depends-Indep: doxygen-latex, graphviz, poppler-utils, ghostscript, texlive-math-extra Homepage: http://www.cs.unipr.it/ppl/ Package: libppl13 Architecture: any Multi-Arch: same Pre-Depends: ${misc:Pre-Depends} Depends: ${shlibs:Depends}, ${misc:Depends} Description: Parma Polyhedra Library (runtime library) The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. Package: libppl-dev Architecture: any Multi-Arch: same Pre-Depends: ${misc:Pre-Depends} Section: libdevel Depends: libppl13 (= ${binary:Version}), libppl-c4 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends} Provides: libppl-c-dev, libppl0.12-dev Recommends: libgmp3-dev (>= 4.1.3) Replaces: libppl6, libppl7 (<< 0.10~pre27-4), libppl9, libppl0.12-dev Conflicts: libppl0.10-dev, libppl0.11-dev Suggests: libppl-doc Description: Parma Polyhedra Library (development) The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. . This package provides the header files and static libraries for the C and C++ interfaces. Package: ppl-dev Architecture: any Pre-Depends: ${misc:Pre-Depends} Section: devel Depends: libppl-dev (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends} Replaces: libppl0.11-dev Description: Parma Polyhedra Library (development binaries) The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. . This package provides the ppl-config binary. Package: libppl-c4 Architecture: any Multi-Arch: same Pre-Depends: ${misc:Pre-Depends} Depends: libppl13 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends} Description: Parma Polyhedra Library (C interface) The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. . This package provides the C interface. Package: libppl-doc Architecture: all Section: doc Depends: ${misc:Depends}, libjs-jquery Description: Parma Polyhedra Library: Documentation The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. . This package provides the documentation. Package: libppl-swi Architecture: any Multi-Arch: same Pre-Depends: ${misc:Pre-Depends} Depends: libppl13 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}, swi-prolog Description: Parma Polyhedra Library (SWI Prolog interface) The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. . This package provides the SWI Prolog interface. debian/libppl-doc.dirs0000644000000000000000000000002311266040422012066 0ustar usr/share/doc-base debian/libppl13.install0000644000000000000000000000002611644621054012205 0ustar usr/lib/*/libppl.so.* debian/libppl-swi.dirs0000644000000000000000000000001412002747636012135 0ustar usr/lib/ppl debian/libppl-swi.links0000644000000000000000000000006012142737077012320 0ustar usr/share/doc/libppl13 usr/share/doc/libppl-swi debian/changelog0000644000000000000000000003534312312365166011055 0ustar ppl (1:1.1-1ubuntu1) trusty; urgency=medium * Merge with Debian; reamining changes: - Don't build-depend on swi-prolog (universe). -- Matthias Klose Wed, 19 Mar 2014 20:04:40 +0100 ppl (1:1.1-1) unstable; urgency=medium * New upstream version. * Build using dh-autoreconf. * Fix build failures with GCC 4.9. -- Matthias Klose Wed, 19 Mar 2014 15:27:52 +0100 ppl (1:1.1~pre8-1) experimental; urgency=low * ppl snapshot 1.1pre8. * Bump libppl soversion. * Rename libppl0.12-dev to libppl-dev. -- Matthias Klose Thu, 09 May 2013 13:16:42 +0200 ppl (1:1.0-7) medium; urgency=low * Fix typo in libppl-doc dependencies. * Proper fix to build with both gmp 5.0 and 5.1. -- Matthias Klose Thu, 09 May 2013 12:46:30 +0200 ppl (1:1.0-6) unstable; urgency=low * Fix build failure with gmp-5.1. -- Matthias Klose Mon, 06 May 2013 17:53:04 +0200 ppl (1:1.0-5) unstable; urgency=low * Upload to unstable. -- Matthias Klose Mon, 06 May 2013 15:44:07 +0200 ppl (1:1.0-4) experimental; urgency=low * Ignore test failures on s390x. No feedback from the Debian porters. -- Matthias Klose Sat, 09 Feb 2013 17:21:45 +0100 ppl (1:1.0-3) experimental; urgency=low * Bump the epoch (and the release number, because the archive software can't handle 1:1.0-2 after an 1.0-2 upload), upload to experimental this time. -- Matthias Klose Thu, 31 Jan 2013 22:31:14 +0100 ppl (1.0-2) unstable; urgency=low * Fix build failure in testsuite on sparc, s390, s390x. * Don't try to build the prolog bindings on arm64 and hurd-i386. -- Matthias Klose Thu, 31 Jan 2013 13:45:12 +0100 ppl (1.0-1) experimental; urgency=low * New upstream version. Closes: #680897. -- Matthias Klose Sun, 27 Jan 2013 23:15:02 +0100 ppl (1:0.11.2-9) unstable; urgency=low * Bump epoch to overwrite an upload of ppl-1.0 to unstable. -- Matthias Klose Thu, 31 Jan 2013 16:22:27 +0100 ppl (0.11.2-8) unstable; urgency=low * Split out a ppl-dev package with the ppl-config binary. -- Matthias Klose Wed, 15 Aug 2012 15:56:30 +0200 ppl (0.11.2-7) unstable; urgency=low * Mark libppl0.11-dev as Multi-Arch: same again, and install the header files in the multiarch include path. Needs a follow-up patch to split out the ppl-config binary. * Disable the build of the swi prolog bindings for DEB_STAGE 1 builds. Closes: #645003. -- Matthias Klose Tue, 07 Aug 2012 12:49:10 +0200 ppl (0.11.2-6.2) unstable; urgency=low * Non-maintainer upload. [ Colin Watson ] * Build the test suite with -gstabs rather than -g on powerpc, to avoid running out of memory, see Ubuntu bug #941676 (Closes: #683767) -- Nicolas Boulenguez Fri, 03 Aug 2012 18:50:55 +0200 ppl (0.11.2-6.1) unstable; urgency=low * Non-maintainer upload. [ Artur Rona ] * debian/control: Add libncursesw5-dev to Build-Depends due to missing library, fixes FTBFS. (Closes: #669479) [ Nicolas Boulenguez ] * Remove usr/bin/ppl_pl from libppl-swi multiarch package (see #670024). Document equivalent functionality with the shared library. * control: libppl0.11-dev cannot be Multi-Arch: same because it contains arch-dependent headers (see #670025). * avoid_obsolete_installdox.patch: backport part of an upstream commit. Doxygen 1.8 does not use installdox anymore. (Closes: #680896) -- Nicolas Boulenguez Tue, 17 Jul 2012 23:26:41 +0200 ppl (0.11.2-6) unstable; urgency=low * Build-depend on libncurses5-dev, until swi-prolog-nox depends on it. -- Matthias Klose Tue, 11 Oct 2011 12:14:46 +0200 ppl (0.11.2-5) unstable; urgency=low * Install into multiarch locations. * Use dpkg-buildflags to set CFLAGS/LDFLAGS. * Move changes into patch file. Closes: #643253. -- Matthias Klose Mon, 10 Oct 2011 18:45:44 +0200 ppl (0.11.2-4) unstable; urgency=low * Patch away unused variables. Closes: #625417. * Don't ship libppl_swiprolog.la. Closes: #633365. -- Michael Tautschnig Sun, 10 Jul 2011 12:05:38 +0200 ppl (0.11.2-3) unstable; urgency=low * Build-depends-indep: re-added texlive-math-extra. Closes: #618148. -- Michael Tautschnig Mon, 14 Mar 2011 19:57:06 +0100 ppl (0.11.2-2) unstable; urgency=low * Build-depends libgmp-dev instead of libgmp3-dev. -- Michael Tautschnig Tue, 08 Mar 2011 01:14:00 +0100 ppl (0.11.2-1) unstable; urgency=low * New upstream version. * Upload to unstable. * Build-depend on doxygen-latex instead of latex-xcolor and texlive-* stuff. Closes: #616275. * Refined watch file pattern. -- Michael Tautschnig Thu, 03 Mar 2011 12:50:57 +0100 ppl (0.11-3) experimental; urgency=low * Build-depend on latex-xcolor. Closes: #606277,#606233. * libppl0.11-dev: Conflicts with libppl0.10-dev. Closes: #608454. * Thanks Matthias Klose for doing all the work. -- Michael Tautschnig Wed, 19 Jan 2011 21:55:49 +0100 ppl (0.11-2) experimental; urgency=low * Again disable 2 Prolog tests as there is some failure on PowerPC only that I'm unable to debug (see also 0.10.2-5). -- Michael Tautschnig Sun, 07 Nov 2010 19:39:32 +0100 ppl (0.11-1) experimental; urgency=low * New upstream release. - Dropped all patches as these issues have been fixed upstream. - Re-enabled Prolog interface on m68k as swi-prolog is now handled more flexibly by upstream. - SONAME bumps: libppl7 -> libppl9, libppl-c2 -> libppl-c4, libpwl4 -> libpwl5 * Use release directories in watch file for better reliablity (upstream hasn't updated LATEST link). -- Michael Tautschnig Sun, 31 Oct 2010 13:41:36 +0100 ppl (0.10.2-9) unstable; urgency=low * m68k hasn't fully caught up yet, don't build PPL Prolog interface on m68k. Closes: #601445. * Re-enabled Prolog interface on kfreebsd-* as swi-prolog is now available. -- Michael Tautschnig Tue, 26 Oct 2010 14:18:12 +0200 ppl (0.10.2-8) unstable; urgency=low * Ignore testsuite failures on armel as these seem to be caused by miscompilation, see #593324. * No more swi-prolog on mips, don't build PPL Prolog interface on mips. Closes: #593393. -- Michael Tautschnig Mon, 06 Sep 2010 12:31:59 +0200 ppl (0.10.2-7) unstable; urgency=low * Drop xpdf-utils from build depends to fix FTBFS. Closes: #591155. * Bumped Standars-Version to 3.9.1 (no changes). * Specifically require automake1.10 as we modify some Makefile.am. * swi-prolog now ships executable linker as swipl-ld. -- Michael Tautschnig Sun, 01 Aug 2010 12:22:05 +0200 ppl (0.10.2-6) unstable; urgency=low * Another bugfix to work around incomplete signal handling on hurd. -- Michael Tautschnig Tue, 02 Mar 2010 16:08:49 +0100 ppl (0.10.2-5) unstable; urgency=low * Dropped versioned build dep on libgmp3-dev as even etch has a sufficiently new version. * Dropped build dep on quilt. * Added upstream patches to work around incomplete signal handling on hurd. * Disable 2 Prolog tests as there is some failure on PowerPC only that I'm unable to debug. Closes: #570387. -- Michael Tautschnig Sun, 28 Feb 2010 10:35:31 +0100 ppl (0.10.2-4) unstable; urgency=low * Switch to dpkg-source 3.0 (quilt) format, removed quilt-related code from debian/rules. * Bumped Standars-Version to 3.8.4 (no changes). * Added ${misc:Depends} as we are using debhelper. * Build SWI-Prolog bindings on linux architectures only as swi-prolog is not available on others. -- Michael Tautschnig Wed, 03 Feb 2010 00:11:22 +0100 ppl (0.10.2-3) unstable; urgency=low * Bumped Standars-Version to 3.8.3 (no changes). * Added README.source. * Added current upstream patches for 0.10.2. * Don't watch snapshots, only do stable releases. * Added SWI-Prolog bindings (new package libppl-swi, thanks Israel Herraiz ). Closes: #540083. -- Michael Tautschnig Fri, 16 Oct 2009 12:33:08 +0200 ppl (0.10.2-2) unstable; urgency=low * debian/rules: Use findstring instead of filter. This should really run the testsuite with -k on alpha. -- Arthur Loiret Sun, 24 May 2009 07:49:26 +0000 ppl (0.10.2-1) unstable; urgency=medium * New upstream release. * Build-Depends-Indep on xpdf-utils | poppler-utils instead of xpdf-utils. * Run the testsuite with -k, and never fail the build in case of regressions on alpha. (this will change when graphite will be used by default in GCC). * debian/patches/exception_tests_alpha: Remove. -- Arthur Loiret Mon, 11 May 2009 22:08:57 +0000 ppl (0.10.1~pre13-1) unstable; urgency=medium * New upstream snapshot. - Dropped patch for bigendian issues. * urgency=medium because of FTBFS workaround. * Disabled more tests on alpha - exception handling is utterly broken on alpha, which will also affect users of PPL on that architecture (probably GCC PR 8966) as raised exception cause immediate aborts. * Re-enabled Build-Depends-Indep and adapted rules accordingly. Closes: #517659. * Bumped Standars-Version to 3.8.1 (no changes). * Updated copyright information for several files that had been added in 0.10 and also have a specific license. * Added comments to quilt patch (thanks lintian). * Added one sentence explaining the difference between libpwl4 und libpwl-dev (thanks lintian). * Dropped the ChangeLog hackery using symlinks, the ChangeLog is pretty small nowadays. * Moved pwl.hh to libpwl-dev package. -- Michael Tautschnig Mon, 13 Apr 2009 08:04:52 +0200 ppl (0.10-4) unstable; urgency=medium * urgency=medium because of FTBFS workaround. * With #229357 still being open, we can't use Build-Depends-Indep the way policy suggests. It would have been too beautiful anyway. -- Michael Tautschnig Fri, 20 Feb 2009 10:11:26 +0100 ppl (0.10-3) unstable; urgency=medium * urgency=medium because of FTBFS workaround. * Exclude test11-test18 of generalizedaffineimage3.cc on alpha because of bugs in gcc/exception handling. * Moved the dependencies needed for building the documentation to Build-Depends-Indep. * Introducing quilt to manage patches. -- Michael Tautschnig Tue, 17 Feb 2009 09:10:34 +0100 ppl (0.10-2) unstable; urgency=high * urgency=high because of RC bug fix. * Check snapshots and releases for newer versions. * Proper defines on bigendian systems. Closes: #514158. * Don't ignore errors while running make check (this would have made visible the above bug immediately). -- Michael Tautschnig 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 debian/libppl-c4.dirs0000644000000000000000000000001011266040422011623 0ustar usr/lib debian/README.source0000644000000000000000000000045211266045301011344 0ustar We usually package stable releases from http://www.cs.unipr.it/ppl/Download/ftp/releases/LATEST/, but it may at some point be desirable to package snapshots: http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ Patches are best coordinated with upstream, who is quick in responding and fixing bugs. debian/libppl13.docs0000644000000000000000000000010112002747636011465 0ustar BUGS NEWS README CREDITS interfaces/Prolog/SWI/README.swiprolog debian/libppl-swi.install0000644000000000000000000000014112101342715012630 0ustar usr/lib/*/ppl/libppl_swiprolog.so usr/lib/*/ppl/libppl_swiprolog.a usr/share/ppl/ppl_swiprolog.*