[SCM] polybori: Polynomials over Boolean Rings branch, master, updated. upstream/0.8.2-32-gf73c71c

Sat Dec 22 00:35:14 UTC 2012

The following commit has been merged in the master branch:
commit 4cb38e5399e68fe2e82658bc35ece4b9b2486cc3
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Dec 21 22:33:37 2012 +0100

    Splitting PolyBoRi's dev packages

diff --git a/debian/control b/debian/control
index 6386e47..700ba81 100644
--- a/debian/control
+++ b/debian/control
@@ -44,13 +44,33 @@ Description: polynomials over Boolean Rings, Python module
  .
  This package contains the PolyBoRi Python module and ipbori program.
 
+Package: python-polybori-dbg
+Architecture: any
+Section: debug
+Priority: extra
+Depends: ${misc:Depends},
+         python-polybori (= ${binary:Version})
+Description: polynomials over Boolean Rings, Debug symbols for 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 debuggin symbols of the PolyBoRi Python module.
+
 Package: libpolybori-dev
 Architecture: any
 Section: libdevel
 Depends: ${misc:Depends},
          libpolybori-0.8.2-1 (= ${binary:Version}),
          libpolybori-groebner-0.8.2-1 (= ${binary:Version})  
-Description: polynomials over Boolean Rings, development files
+Description: polynomials over Boolean Rings, core 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
@@ -62,7 +82,7 @@ Description: polynomials over Boolean Rings, development files
  computation. PolyBoRi features a powerful reference implementation
  for Groebner basis computation.
  .
- This package contains the PolyBoRi development files.
+ This package contains the PolyBoRi core development files.
 
 Package: libpolybori-0.8.2-1
 Architecture: any
@@ -105,6 +125,28 @@ Description: polynomials over Boolean Rings, debug symbols for shared libraries
  .
  This package contains the debugging symbols of PolyBoRi's shared libraries.
 
+Package: libpolybori-groebner-dev
+Architecture: any
+Section: libdevel
+Depends: ${misc:Depends},
+         libpolybori-groebner-0.8.2-1 (= ${binary:Version})
+Breaks:  libpolybori-dev (<< 0.8)
+Replaces: libpolybori-dev (<< 0.8)
+Description: polynomials over Boolean Rings, computational algebra 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 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 computationsl algebra development files.
+
+
 Package: libpolybori-groebner-0.8.2-1
 Architecture: any
 Section: libs
@@ -129,6 +171,28 @@ Description: polynomials over Boolean Rings, shared library
  .
  This package contains the PolyBoRi shared library libpolybori_groebner.
 
+Package: libpolybori-groebner-dbg
+Architecture: any
+Section: debug
+Priority: extra
+Depends: ${misc:Depends},
+         libpolybori-groebner-dev (= ${binary:Version})
+Description: polynomials over Boolean Rings, debug symbols for libpolybori-groebner
+ 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 debugging symbols of PolyBoRi's shared library 
+ libpolybori-groebner.
+
+
 Package: polybori-doc
 Architecture: all
 Section: doc
diff --git a/debian/libpolybori-dev.install b/debian/libpolybori-dev.install
index 72ae5a0..dcbfa27 100644
--- a/debian/libpolybori-dev.install
+++ b/debian/libpolybori-dev.install
@@ -1,4 +1,4 @@
-usr/include
-usr/lib/*/*.a
-usr/lib/*/*.so
+usr/include/polybori/
+usr/lib/*/*polybori.a
+usr/lib/*/*polybori.so
 usr/lib/*/pkgconfig/*.pc
diff --git a/debian/libpolybori-groebner-dev.install b/debian/libpolybori-groebner-dev.install
new file mode 100644
index 0000000..21a7927
--- /dev/null
+++ b/debian/libpolybori-groebner-dev.install
@@ -0,0 +1,4 @@
+usr/include/polybori/groebner
+usr/lib/*/*groebner*.a
+usr/lib/*/*groebner*.so
+usr/lib/*/pkgconfig/*.pc
diff --git a/debian/rules b/debian/rules
index 027ffd5..150dc45 100755
--- a/debian/rules
+++ b/debian/rules
@@ -5,11 +5,10 @@
 PYVERS=$(shell pyversions -vr)
 DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH)
 
-
 build-stamp: $(PYVERS:%=stamp-build-python%)
 	touch $@
 build: build-arch build-indep
-	ipbori/ipbori -t  # self test
+	ipbori/ipbori -t || exit 1 # self test
 
 build-arch: build-stamp
 build-indep: build-stamp
@@ -123,7 +122,9 @@ binary-arch: build-stamp install
 #	dh_bugfiles -a
 #	dh_undocumented -a
 	dh_installman -a
-	dh_strip -a --dbg-package=libpolybori-dbg
+	dh_strip --exclude=groebner --exclude=PyPolyBoRi -plibpolybori-dev --dbg-package=libpolybori-dbg -a 
+	dh_strip --exclude=PyPolyBoRi -plibpolybori-groebner-dev  --dbg-package=libpolybori-groebner-dbg -a
+	dh_strip  -ppython-polybori --dbg-package=python-polybori-dbg
 	dh_link -a
 	dh_compress -a
 	dh_fixperms -a

-- 
polybori: Polynomials over Boolean Rings

