debian: build a python3 package

* debian/python3-spot.install: New file.
* Makefile.am: Ship it.
* debian/control, debian/rules, debian/spot.install: Adjust.

Makefile.am

@@ -32,10 +32,12 @@ 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/source/format debian/spot-doc.docs debian/spot-doc.install	\
-  debian/spot-doc.doc-base debian/spot.install				\
+
+DEBIAN = debian/changelog debian/changelog.in debian/compat	\
+  debian/control debian/copyright debian/docs debian/rules	\
+  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/changelog: configure.ac

debian/control

@@ -2,27 +2,39 @@ Source: spot
 Section: science
 Priority: optional
 Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
-Build-Depends: debhelper (>= 9)
+Build-Depends: debhelper (>= 9), python3-all-dev
 Standards-Version: 3.9.5
 Homepage: http://spot.lip6.fr/
 
 Package: spot
 Architecture: any
+Section: science
 Recommends: graphviz
 Suggests: libspot-dev, spot-doc
 Depends: ${shlibs:Depends}, ${misc:Depends}
-Description: the Spot model checking library
+Description: Spot, a model checking library
  Library and tools to manipulate omega-automata as well as
  linear-temporal logic (LTL & PSL).
 
 Package: libspot-dev
 Architecture: all
+Section: libdevel
 Suggests: spot-doc
 Depends: spot
 Description: headers for the Spot model checking library
  C++ headers for the Spot library.
 
 Package: spot-doc
+Section: doc
 Architecture: all
 Description: documentation for Spot
  Developer documentation for Spot.
+
+Package: python3-spot
+Architecture: any
+Section: python
+Depends: ${shlibs:Depends}, ${misc:Depends}, ${python3:Depends}
+Suggests: ipython3
+Description: python3 binding for spot
+ Spot allows manipulation of omega-automata as well
+ as linear temporal logic (LTL & PSL).

debian/python3-spot.install

@@ -0,0 +1 @@
+usr/lib/python3*

debian/rules

@@ -19,7 +19,7 @@ include /usr/share/dpkg/default.mk
 
 # main packaging script based on dh7 syntax
 %:
-	dh $@ --parallel
+	dh $@ --parallel --with=python3
 
 LTOPLUG = /usr/lib/gcc/x86_64-linux-gnu/4.9/liblto_plugin.so
 
@@ -37,16 +37,22 @@ PRO1SETUP =					\
 PRO2SETUP =					\
   CFLAGS='-flto -fprofile-use'			\
   CXXFLAGS='-flto -fprofile-use'
+PYSETUP = PYTHON=/usr/bin/python3
 
 # We want to build Spot twice: once to get profile data, and a second
 # time to use it.
 override_dh_auto_configure:
 	dh_auto_configure -- $(PRO1SETUP) $(LTOSETUP)	\
 	  --disable-devel --enable-optimizations	\
-	  --disable-static --disable-python
+	  --disable-static $(PYSETUP)
 	dh_auto_build
 	dh_auto_test
 	make clean
 	dh_auto_configure -- $(PRO2SETUP) $(LTOSETUP)	\
 	  --disable-devel --enable-optimizations	\
-	  --disable-static --disable-python
+	  --disable-static $(PYSETUP)
+override_dh_auto_install:
+	dh_auto_install --destdir=$(CURDIR)/debian/tmp
+	find debian/tmp -name '*.la' -exec rm -rv {} ';'
+override_dh_python3:
+	dh_python3 -p python3-spot

debian/spot.install

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