--- polybori-0.5~rc1.orig/debian/compat +++ polybori-0.5~rc1/debian/compat @@ -0,0 +1 @@ +5 --- polybori-0.5~rc1.orig/debian/libpolybori-dev.install +++ polybori-0.5~rc1/debian/libpolybori-dev.install @@ -0,0 +1,4 @@ +debian/tmp/usr/include usr/ +debian/tmp/usr/share/doc usr/share/ +debian/tmp/usr/lib/*.a usr/lib/ +debian/tmp/usr/lib/*.so usr/lib/ --- polybori-0.5~rc1.orig/debian/rules +++ polybori-0.5~rc1/debian/rules @@ -0,0 +1,43 @@ +#!/usr/bin/make -f + +include /usr/share/cdbs/1/rules/debhelper.mk +include /usr/share/cdbs/1/rules/patchsys-quilt.mk + +PYVERS=$(shell pyversions -vr) + +build: build-arch +build-arch: $(PYVERS:%=build-python%) + touch $@ +build-python%: TMPDEST=debian/python-polybori$* +build-python%: PYTHON=/usr/bin/python$* +build-python%: BOOST_LIBRARY=boost_python-py$(subst .,,$*) +build-python%: PYTHONSITE=`/usr/bin/python$* -c 'import setuptools; print setuptools.distutils.sysconfig.get_python_lib() '` +build-python%: debian/stamp-patched + echo $(TMPDEST) + scons prepare-install PYTHON=$(PYTHON) BOOST_LIBRARY=$(BOOST_LIBRARY) + mkdir -p $(TMPDEST) + scons install devel-install INSTALLDIR=$(TMPDEST)/usr/lib/polybori \ + PYINSTALLPREFIX=$(TMPDEST)$(PYTHONSITE) MANDIR=$(TMPDEST)/usr/share/man \ + PREFIX=$(TMPDEST)/usr EPREFIX=$(TMPDEST)/usr/bin \ + DOCDIR=$(TMPDEST)/usr/share/doc/polybori \ + PYTHON=$(PYTHON) BOOST_LIBRARY=$(BOOST_LIBRARY) \ + RELATIVEPYPREFIX=$(PYTHONSITE) + touch $@ + +$(patsubst %,binary-install/%,$(DEB_PACKAGES)) :: binary-install/%: + dh_python2 -p$(cdbs_curpkg) + +common-install-arch common-install-indep:: common-install-impl +common-install-impl:: + mkdir -p debian/tmp/ + mv debian/python-polybori$(lastword $(PYVERS))/* debian/tmp/ + mkdir -p debian/tmp/usr/lib + $(foreach vers,$(PYVERS),if [ -e "debian/python-polybori$(vers)/usr/lib/python$(vers)" ]; then mv debian/python-polybori$(vers)/usr/lib/python$(vers) debian/tmp/usr/lib/; fi;) + +clean:: + $(foreach vers,$(PYVERS),rm -rf debian/python-polybori$(vers);) + scons . --keep-going --clean || true + rm -f debian/stamp-scons-build + rm -rf .sconf_temp/ + rm -f .sconsign.dblite + rm -f build-arch build-python* --- polybori-0.5~rc1.orig/debian/control +++ polybori-0.5~rc1/debian/control @@ -0,0 +1,63 @@ +Source: polybori +Section: math +Priority: optional +Maintainer: Tim Abbott +Uploaders: Alexander Dreyer +Homepage: http://polybori.sourceforge.net/ +Build-Depends: cdbs (>= 0.4.23-1.1), debhelper (>= 5), quilt, patchutils (>= 0.2.25), cdbs (>= 0.4.27), scons, python-setuptools, libboost-dev, libboost-python-dev (>= 1.39), doxygen (>= 1.4.6), hevea | tex4ht, python-all-dev (>= 2.6.6-3~) +Standards-Version: 3.8.0 + +Package: python-polybori +Provides: polybori +Section: python +Architecture: any +Depends: ${shlibs:Depends}, ${misc:Depends}, ipython, libpolybori-dev (= ${binary:Version}), ${python:Depends} +Description: Polynomials over Boolean Rings, Python module + The core of PolyBoRi is a C++ library, which provides high-level data + types for Boolean polynomials and monomials, exponent vectors, as + well as for the underlying polynomial rings and subsets of the + powerset of the Boolean variables. As a unique approach, binary + decision diagrams are used as internal storage type for polynomial + structures. On top of this C++-library we provide a Python + interface. This allows parsing of complex polynomial systems, as well + as sophisticated and extendable strategies for Groebner base + computation. PolyBoRi features a powerful reference implementation + for Groebner basis computation. + . + This package contains the PolyBoRi Python module and ipbori program. + +Package: libpolybori-dev +Section: libdevel +Architecture: any +Depends: ${shlibs:Depends}, ${misc:Depends}, libpolybori-0.5.0-0 (= ${binary:Version}) +Description: Polynomials over Boolean Rings, development files + The core of PolyBoRi is a C++ library, which provides high-level data + types for Boolean polynomials and monomials, exponent vectors, as + well as for the underlying polynomial rings and subsets of the + powerset of the Boolean variables. As a unique approach, binary + decision diagrams are used as internal storage type for polynomial + structures. On top of this C++-library, PolyBoRi provides a Python + interface. This allows parsing of complex polynomial systems, as + well as sophisticated and extendable strategies for Groebner base + computation. PolyBoRi features a powerful reference implementation + for Groebner basis computation. + . + This package contains the PolyBoRi development files. + +Package: libpolybori-0.5.0-0 +Section: libs +Architecture: any +Depends: ${shlibs:Depends}, ${misc:Depends} +Description: Polynomials over Boolean Rings, shared library + The core of PolyBoRi is a C++ library, which provides high-level data + types for Boolean polynomials and monomials, exponent vectors, as + well as for the underlying polynomial rings and subsets of the + powerset of the Boolean variables. As a unique approach, binary + decision diagrams are used as internal storage type for polynomial + structures. On top of this C++-library, PolyBoRi provides a Python + interface. This allows parsing of complex polynomial systems, as + well as sophisticated and extendable strategies for Groebner base + computation. PolyBoRi features a powerful reference implementation + for Groebner basis computation. + . + This package contains the PolyBoRi shared libraries. --- polybori-0.5~rc1.orig/debian/python-polybori.install +++ polybori-0.5~rc1/debian/python-polybori.install @@ -0,0 +1,4 @@ +debian/tmp/usr/lib/python2.* usr/lib +debian/tmp/usr/lib/polybori usr/lib +debian/tmp/usr/bin /usr +debian/tmp/usr/share/man /usr/share --- polybori-0.5~rc1.orig/debian/changelog +++ polybori-0.5~rc1/debian/changelog @@ -0,0 +1,60 @@ +polybori (0.5~rc1-2.3) unstable; urgency=low + + * Non-maintainer upload. + * Convert to dh_python2 (Closes: #616946). + + -- Luca Falavigna Sat, 01 Jun 2013 14:48:28 +0200 + +polybori (0.5~rc1-2.2) unstable; urgency=low + + * Non-maintainer upload. + * Fix "FTBFS: mv: cannot stat `debian/python-polybori2.7/*': No such + file or directory": add explicit build-arch target to debian/rules. + (Closes: #666278) + + -- gregor herrmann Fri, 13 Apr 2012 15:47:50 +0200 + +polybori (0.5~rc1-2.1) unstable; urgency=low + + * Non-maintainer upload. Thanks to Kumar Appaiah for the initial patch. + * debian/control: + - Add ‘XB-Python-Version: ${python:Version}’, as required by python-central. + - Tighten internal package dependencies. + * debian/*.install: + - Stop referring to particular versions of Python in debian/*.install + (closes: #557293). + * debian/rules: + - Use correct values for RELATIVEPYPREFIX variable. + - Pass name of Python-versioned Boost library to scons. + * debian/patches/link-with-versioned-boost.diff: + - Link to a correct version of Boost library. + + -- Jakub Wilk Sat, 09 Jan 2010 21:53:54 +0100 + +polybori (0.5~rc1-2) unstable; urgency=low + + * Boost 1.39 has removed the "-mt" suffix, so revert the previous change + (and update the build dependency to 1.39) (Closes: #545608). + + -- Tim Abbott Fri, 18 Sep 2009 19:30:17 -0400 + +polybori (0.5~rc1-1.1) unstable; urgency=low + + * Non-maintainer upload. + * Fix FTBFS with current boost (Closes: #530478). As explained by Steve + M. Robbins, single- and multi-threaded variants got dropped, only mt + variants are available as of 1.37.0, suffixed with “-mt”. Since the + previous filenames aren't specified, make sure a “modern” version of + boost headers are used, bumping the versioned build dependency from + “>= 1.33” to “>= 1.37”, and tweak SConstruct to use “boost_python-mt” + instead of “boost_python” for the LIBS variable, using the following + patch: + - 01-fix-ftbfs-with-new-boost.diff + + -- Cyril Brulebois Thu, 02 Jul 2009 17:26:00 +0200 + +polybori (0.5~rc1-1) unstable; urgency=low + + * Initial release to Debian (Closes: #480077) + + -- Tim Abbott Tue, 08 Jul 2008 19:04:16 -0400 --- polybori-0.5~rc1.orig/debian/control.in +++ polybori-0.5~rc1/debian/control.in @@ -0,0 +1,65 @@ +Source: polybori +Section: math +Priority: optional +Maintainer: Tim Abbott +Uploaders: Alexander Dreyer +Homepage: http://polybori.sourceforge.net/ +Build-Depends: @cdbs@, scons, python-setuptools, libboost-dev, libboost-python-dev (>= 1.39), doxygen (>= 1.4.6), hevea | tex4ht, python-all-dev (>= 2.3.5-11), python-central (>= 0.5.6) +XS-Python-Version: all +Standards-Version: 3.8.0 + +Package: python-polybori +Provides: polybori +Section: python +Architecture: any +Depends: ${shlibs:Depends}, ${misc:Depends}, ipython, libpolybori-dev (= ${binary:Version}), ${python:Depends} +XB-Python-Version: ${python:Version} +Description: Polynomials over Boolean Rings, Python module + The core of PolyBoRi is a C++ library, which provides high-level data + types for Boolean polynomials and monomials, exponent vectors, as + well as for the underlying polynomial rings and subsets of the + powerset of the Boolean variables. As a unique approach, binary + decision diagrams are used as internal storage type for polynomial + structures. On top of this C++-library we provide a Python + interface. This allows parsing of complex polynomial systems, as well + as sophisticated and extendable strategies for Groebner base + computation. PolyBoRi features a powerful reference implementation + for Groebner basis computation. + . + This package contains the PolyBoRi Python module and ipbori program. + +Package: libpolybori-dev +Section: libdevel +Architecture: any +Depends: ${shlibs:Depends}, ${misc:Depends}, libpolybori-0.5.0-0 (= ${binary:Version}) +Description: Polynomials over Boolean Rings, development files + The core of PolyBoRi is a C++ library, which provides high-level data + types for Boolean polynomials and monomials, exponent vectors, as + well as for the underlying polynomial rings and subsets of the + powerset of the Boolean variables. As a unique approach, binary + decision diagrams are used as internal storage type for polynomial + structures. On top of this C++-library, PolyBoRi provides a Python + interface. This allows parsing of complex polynomial systems, as + well as sophisticated and extendable strategies for Groebner base + computation. PolyBoRi features a powerful reference implementation + for Groebner basis computation. + . + This package contains the PolyBoRi development files. + +Package: libpolybori-0.5.0-0 +Section: libs +Architecture: any +Depends: ${shlibs:Depends}, ${misc:Depends} +Description: Polynomials over Boolean Rings, shared library + The core of PolyBoRi is a C++ library, which provides high-level data + types for Boolean polynomials and monomials, exponent vectors, as + well as for the underlying polynomial rings and subsets of the + powerset of the Boolean variables. As a unique approach, binary + decision diagrams are used as internal storage type for polynomial + structures. On top of this C++-library, PolyBoRi provides a Python + interface. This allows parsing of complex polynomial systems, as + well as sophisticated and extendable strategies for Groebner base + computation. PolyBoRi features a powerful reference implementation + for Groebner basis computation. + . + This package contains the PolyBoRi shared libraries. --- polybori-0.5~rc1.orig/debian/copyright +++ polybori-0.5~rc1/debian/copyright @@ -0,0 +1,102 @@ +This package was debianized by Tim Abbott in 2008. + +It was downloaded from http://polybori.sourceforge.net/ + +Upstream Authors: Michael Brickenstein (MFO), brickenstein@mfo.de, + Alexander Dreyer (ITWM), alexander.dreyer@itwm.fraunhofer.de + +Copyright: (C) 2007-8 The PolyBoRi Team + (C) 2003 Alan Mishchenko and Jordi Cortadella (extra/) + +License: + + This package 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 2 of the + License, or (at your option) any later version. + + This package 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 package; 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-2'. + +M4RI/: + +Copyright: (C) 2007 Gregory Bard + (C) 2007 Martin Albrecht + +License: + + This package 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 2 of the License, or + (at your option) any later version. + + This package 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 package; if not, write to the Free Software + Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA + +Cudd/: + +Copyright (C) 1995-2004, Regents of the University of Colorado + +License: + + Redistribution and use in source and binary forms, with or without + modification, are permitted under the terms of the BSD License. + + THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND + ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE + FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL + DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS + OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) + HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT + LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY + OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF + SUCH DAMAGE. + +On Debian systems, the complete text of the BSD License can be found +in `/usr/share/common-licenses/BSD'. + +disttar.py and doxygen.py: + +Copyright (C) 2005, 2006 Matthew A. Nicholson +Copyright (C) 2006 John Pye +Copyright (C) 2006 Tim Blechmann + +License: + + This package is free software; you can redistribute it and/or + modify it under the terms of the GNU Lesser General Public License + as published by the Free Software Foundation; version 2.1 of the + License. + + This package 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 + Lesser General Public License for more details. + + You should have received a copy of the GNU Lesser General Public + License along with this package; 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 Lesser General +Public License can be found in `/usr/share/common-licenses/LGPL'. + +The Debian packaging is (C) 2008, Tim Abbott and +Alexandre Dreyer and is licensed +under the GPL, see above. --- polybori-0.5~rc1.orig/debian/libpolybori-0.5.0-0.install +++ polybori-0.5~rc1/debian/libpolybori-0.5.0-0.install @@ -0,0 +1 @@ +debian/tmp/usr/lib/*.so.* usr/lib/ --- polybori-0.5~rc1.orig/debian/patches/series +++ polybori-0.5~rc1/debian/patches/series @@ -0,0 +1 @@ +link-with-versioned-boost.diff --- polybori-0.5~rc1.orig/debian/patches/link-with-versioned-boost.diff +++ polybori-0.5~rc1/debian/patches/link-with-versioned-boost.diff @@ -0,0 +1,27 @@ +Description: Link to a correct version of Boost library. +Author: Jakub Wilk +Last-Update: 2010-01-09 + +Index: polybori-0.5~rc1/SConstruct +=================================================================== +--- polybori-0.5~rc1.orig/SConstruct 2010-01-09 23:00:23.000000000 +0100 ++++ polybori-0.5~rc1/SConstruct 2010-01-09 23:06:17.000000000 +0100 +@@ -144,6 +144,8 @@ + 'Build python extension, if possible', True)) + opts.Add(BoolOption('BOOST_WORKS', + 'Skip check for Boost libraries', False)) ++opts.Add('BOOST_LIBRARY', ++ 'Name of Boost library to link with', 'boost_python') + + opts.Add(BoolOption('RELATIVE_SYMLINK', + 'Use relative symbolic links on install', True)) +@@ -494,8 +496,7 @@ + [TestsPath('src', t + ".cc"), libpb, gb]+ libCudd, + CPPPATH=CPPPATH) + +- +-LIBS = env['LIBS']+['boost_python']+USERLIBS ++LIBS = env['LIBS']+[env['BOOST_LIBRARY']]+USERLIBS + + LIBS_static = ["polybori", 'groebner', cudd_name] + LIBS + #env["CPPDEFINES"].Append("Packed")