debian: move libraries into separate packages

* debian/control (libbddx-dev, libbddx0, libspot0): New packages.
(libspot-dev): Make it "Architecture: any".
* debian/libspot-dev.install: Include the .so symlink.
* debian/spot.install: Remove the libraries.
* debian/libbddx-dev.install, debian/libbddx0.install,
debian/libspot0.install: New files.
* Makefile.am: Distribute them.

Makefile.am

@@ -33,12 +33,25 @@ SUBDIRS = buddy lib src wrap ltdl iface doc $(NEVER_BENCH)
 UTF8 = utf8/doc/ReleaseNotes utf8/doc/utf8cpp.html utf8/utf8.h	\
   utf8/utf8/checked.h utf8/utf8/core.h utf8/utf8/unchecked.h
 
-DEBIAN = debian/changelog debian/changelog.in debian/compat		\
-  debian/control debian/copyright debian/docs debian/rules		\
-  debian/python3-spot.examples debian/python3-spot.install		\
-  debian/source/format debian/spot-doc.docs debian/spot-doc.install	\
-  debian/spot-doc.doc-base debian/spot.install				\
-  debian/libspot-dev.install
+DEBIAN =					\
+  debian/changelog				\
+  debian/changelog.in				\
+  debian/compat					\
+  debian/control				\
+  debian/copyright				\
+  debian/docs					\
+  debian/libbddx0.install			\
+  debian/libbddx-dev.install			\
+  debian/libspot0.install			\
+  debian/libspot-dev.install			\
+  debian/python3-spot.examples			\
+  debian/python3-spot.install			\
+  debian/rules					\
+  debian/source/format				\
+  debian/spot-doc.doc-base			\
+  debian/spot-doc.docs				\
+  debian/spot-doc.install			\
+  debian/spot.install
 
 debian/changelog: configure.ac
 	$(top_builddir)/config.status --file debian/changelog

debian/control

@@ -11,15 +11,42 @@ Architecture: any
 Section: science
 Recommends: graphviz
 Suggests: libspot-dev, spot-doc, python3-spot
-Depends: ${shlibs:Depends}, ${misc:Depends}
+Depends: libspot0 (>= ${source:Version}), libspot0 (<< ${source:Version}.1~), ${shlibs:Depends}, ${misc:Depends}
 Description: model checking and omega-automata manipulation library
- Library and tools to manipulate omega-automata as well as
+ Tools to manipulate omega-automata as well as
+ linear-time temporal logic (LTL & PSL).
+
+Package: libspot0
+Architecture: any
+Section: science
+Recommends: graphviz
+Suggests: libspot-dev, spot-doc, python3-spot
+Depends: ${shlibs:Depends}, ${misc:Depends}, libbddx0 (>= ${source:Version}), libbddx0 (<< ${source:Version}.1~)
+Description: model checking and omega-automata manipulation library
+ Library to manipulate omega-automata as well as
  linear-time temporal logic (LTL & PSL).
 
 Package: libspot-dev
-Architecture: all
+Architecture: any
 Section: libdevel
 Suggests: spot-doc
+Depends: libspot0 (>= ${source:Version}), libspot0 (<< ${source:Version}.1~), ${misc:Depends}
+Description: headers for the Spot model checking library
+ C++ headers for the Spot library.
+
+Package: libbddx0
+Architecture: any
+Section: science
+Recommends: graphviz
+Suggests: libbddx-dev
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Description: alternate version of BuDDy
+ An alternate version of BuDDy with slightly different
+ different data structures and additional functions.
+
+Package: libbddx-dev
+Architecture: any
+Section: libdevel
 Depends: spot (>= ${source:Version}), spot (<< ${source:Version}.1~), ${misc:Depends}
 Description: headers for the Spot model checking library
  C++ headers for the Spot library.
@@ -34,7 +61,7 @@ Description: documentation for Spot
 Package: python3-spot
 Architecture: any
 Section: python
-Depends: ${shlibs:Depends}, ${misc:Depends}, ${python3:Depends}, spot (= ${binary:Version})
+Depends: ${shlibs:Depends}, ${misc:Depends}, ${python3:Depends}, libspot0 (>= ${source:Version}), libspot0 (<< ${source:Version}.1~)
 Suggests: ipython3
 Description: python3 binding for spot
  Spot allows manipulation of omega-automata as well

debian/libbddx-dev.install

@@ -0,0 +1,4 @@
+usr/include/fddx.h
+usr/include/bvecx.h
+usr/include/bddx.h
+usr/lib/*-*/libbddx.so

debian/libbddx0.install

@@ -0,0 +1 @@
+usr/lib/*-*/libbddx.so.*

debian/libspot-dev.install

@@ -1 +1,2 @@
-usr/include
+usr/include/spot
+usr/lib/*-*/libspot.so

debian/libspot0.install

@@ -0,0 +1 @@
+usr/lib/*-*/libspot.so.*

debian/spot.install

@@ -1,3 +1,2 @@
 usr/bin
-usr/lib/*-*/*.so*
 usr/share/man