debian/0000755000000000000000000000000011756635077007207 5ustar debian/libpolylib64-dev.dirs0000644000000000000000000000005611361340030013130 0ustar usr/lib usr/lib/pkgconfig usr/include/polylib debian/libpolylib64-dev.install0000644000000000000000000000156011361340030013636 0ustar usr/include/polylib/polyparam.h usr/include/polylib/arithmetic_errors.h usr/include/polylib/NormalForms.h usr/include/polylib/matrix.h usr/include/polylib/Zpolyhedron.h usr/include/polylib/param.h usr/include/polylib/errormsg.h usr/include/polylib/ext_ehrhart.h usr/include/polylib/Lattice.h usr/include/polylib/matrix_permutations.h usr/include/polylib/arithmetique.h usr/include/polylib/eval_ehrhart.h usr/include/polylib/ranking.h usr/include/polylib/polyhedron.h usr/include/polylib/compress_parms.h usr/include/polylib/matrix_addon.h usr/include/polylib/SolveDio.h usr/include/polylib/Matop.h usr/include/polylib/homogenization.h usr/include/polylib/alpha.h usr/include/polylib/vector.h usr/include/polylib/polylib.h usr/include/polylib/types.h usr/include/polylib/polylib64.h usr/include/polylib/ehrhart.h usr/lib/lib*.a usr/lib/lib*.so usr/lib/lib*.la usr/lib/pkgconfig/* debian/libpolylib64-8.dirs0000644000000000000000000000001011551613374012526 0ustar usr/lib debian/polylib-utils.dirs0000644000000000000000000000001011361266456012662 0ustar usr/bin debian/polylib-utils.install0000644000000000000000000000015111361266456013375 0ustar usr/bin/c2p usr/bin/r2p usr/bin/pp64 usr/bin/disjoint_union_adj usr/bin/disjoint_union_sep usr/bin/findv debian/libpolylib64-8.install0000644000000000000000000000002211361266457013243 0ustar usr/lib/lib*.so.* debian/rules0000755000000000000000000000433111756635077010270 0ustar #!/usr/bin/make -f # 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. # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 CFLAGS=-O2 -g # 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) ifneq ($(DEB_HOST_GNU_TYPE),$(DEB_BUILD_GNU_TYPE)) CROSS= --build $(DEB_BUILD_GNU_TYPE) --host $(DEB_HOST_GNU_TYPE) else CROSS= --build $(DEB_BUILD_GNU_TYPE) endif # shared library versions version=2.0.5 major=2 config.status: configure dh_testdir ifneq "$(wildcard /usr/share/misc/config.sub)" "" cp -f /usr/share/misc/config.sub config.sub endif ifneq "$(wildcard /usr/share/misc/config.guess)" "" cp -f /usr/share/misc/config.guess config.guess endif ./configure $(CROSS) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info CFLAGS="$(CFLAGS)" LDFLAGS="-Wl,-z,defs" build: build-arch build-indep build-arch: build-stamp build-indep: build-stamp build-stamp: config.status dh_testdir $(MAKE) touch $@ clean: dh_testdir dh_testroot rm -f build-stamp [ ! -f Makefile ] || $(MAKE) distclean rm -f config.sub config.guess dh_clean install: build dh_testdir dh_testroot dh_clean dh_installdirs $(MAKE) DESTDIR=$(CURDIR)/debian/tmp install #cd $(CURDIR)/doc && tar xzf doc.pdf.tar.gz && mv doc.pdf user-manual.pdf # Build architecture-independent files here. binary-indep: build install # Build architecture-dependent files here. binary-arch: build install dh_testdir dh_testroot dh_installchangelogs dh_installdocs dh_installexamples dh_install --sourcedir=debian/tmp dh_installman dh_link dh_strip --dbg-package=libpolylib64-8-dbg dh_compress dh_fixperms dh_makeshlibs dh_installdeb dh_shlibdeps dh_gencontrol dh_md5sums dh_builddeb binary: binary-indep binary-arch .PHONY: build clean binary-indep binary-arch binary install debian/source/0000755000000000000000000000000011361340027010463 5ustar debian/source/format0000644000000000000000000000001411361340027011671 0ustar 3.0 (quilt) debian/copyright0000644000000000000000000000431711551613374011134 0ustar This package was debianized by serge guelton on Tue, 02 Jun 2009 10:44:46 +0200. It was downloaded from Reason for user manual not being packaged and therefor not part of Debian: Source of the documentation not available. Upstream Authors: Doran Wilde Hervé Le Verge Vincent Loechner Tanguy Risset François Irigoin Corinne Ancourt Fabien Coelho Sven Verdoolaege Benoit Meister Rachid Seghir Bart Kienhuis Cédric Bastoul Olivier Albiez Copyright: This package is the result of various contribution from various teams. Each holds a copyright on its parts, described in source file headers. The most important contributors are listed below: 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, see . On Debian systems, the complete text of the GNU General Public License can be found in /usr/share/common-licenses/GPL-3 file. The Debian packaging is Copyright 2009, serge guelton and is licensed under the GPL, see `/usr/share/common-licenses/GPL'. debian/changelog0000644000000000000000000000122211756635121011044 0ustar polylib (5.22.5-3+dfsg) unstable; urgency=low * Upgrade standard version * Add default build-arch and build-indep targets -- Serge Guelton Sat, 19 May 2012 19:13:00 +0200 polylib (5.22.5-2+dfsg) unstable; urgency=low * Use correct copyright symbol * Do not create usr/bin dir for libpolylib-8 package * Do not start package description with an article -- Serge Guelton Thu, 13 Apr 2011 10:26:00 +0200 polylib (5.22.5-1+dfsg) unstable; urgency=low * Initial release (Closes: #532439) -- Serge Guelton Thu, 08 Jul 2010 14:38:00 +0200 debian/compat0000644000000000000000000000000211361266457010377 0ustar 7 debian/repack0000755000000000000000000000125011415340632010356 0ustar #!/bin/sh # repacking actions, called from uscan trough watch file # see # http://www.debian.org/doc/manuals/developers-reference/best-pkging-practices.html#repackagedorigtargz # for debian repacking policy set -e set -x # called by uscan with '--upstream-version' basedir=polylib-$2 shortdir=$basedir.orig dir=../$shortdir origtarball=polylib_$2.orig.tar.gz # clean up the upstream tarball tar -x -z -f $3 mv $basedir $shortdir echo "removing non-free documentation from original sources" tar -c -z -f ../$origtarball \ --exclude="$shortdir/doc/*.pdf" --exclude="$shortdir/doc/*.gz" \ $shortdir # removed everything accordingly rm -rf $shortdir exit 0 debian/control0000644000000000000000000000515111756635077010614 0ustar Source: polylib Priority: extra Maintainer: Debian Science Maintainers Uploaders: Serge Guelton Build-Depends: debhelper (>= 7), autotools-dev Standards-Version: 3.9.3 Section: science Vcs-Svn: svn://svn.debian.org/debian-science/packages/polylib Vcs-Browser: http://svn.debian.org/viewsvn/debian-science/packages/polylib/ Homepage: http://icps.u-strasbg.fr/polylib/polylib_src Package: libpolylib64-8 Section: libs Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Description: Polyhedral library - long int version Polylib is a free C library for doing computations on polyhedra. The library is operating on objects like vectors, matrices, lattices, polyhedra, Z-polyhedra, unions of polyhedra and other intermediary structures. It provides functions for all important operations on these structures. This package provides the version for operations on long integers. Package: libpolylib64-dev Section: libdevel Architecture: any Depends: libpolylib64-8 (= ${binary:Version}), ${misc:Depends} Description: Development files for the long int version of PolyLib Polylib is a free C library for doing computations on polyhedra. The library is operating on objects like vectors, matrices, lattices, polyhedra, Z-polyhedra, unions of polyhedra and other intermediary structures. It provides functions for all important operations on these structures. . This package contains the header files and static libraries which are needed for developing polylib applications. Package: libpolylib64-8-dbg Section: debug Architecture: any Depends: libpolylib64-8 (= ${binary:Version}), ${misc:Depends} Description: Debugging symbols for the long int version of PolyLib Polylib is a free C library for doing computations on polyhedra. The library is operating on objects like vectors, matrices, lattices, polyhedra, Z-polyhedra, unions of polyhedra and other intermediary structures. It provides functions for all important operations on these structures. . This package contains detached debugging symbols. Package: polylib-utils Section: math Architecture: any Depends: ${shlibs:Depends}, libpolylib64-8 (=${binary:Version}), ${misc:Depends} Description: Various tools using libpolylib Polylib is a free C library for doing computations on polyhedra. The library is operating on objects like vectors, matrices, lattices, polyhedra, Z-polyhedra, unions of polyhedra and other intermediary structures. It provides functions for all important operations on these structures. . This package contains various utilities to perform polyhedral operations. debian/watch0000644000000000000000000000024611415340632010220 0ustar # uscan version number version=3 opts=dversionmangle=s/\.dfsg(\.\d)?$// \ http://icps.u-strasbg.fr/polylib polylib_src/polylib-(.*)\.tar\.gz \ debian debian/repack