From 5adec9199b7277a2a57d4f6f6ff7a96268d8db9a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 8 Mar 2015 21:22:15 +0100
Subject: [PATCH] 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                 | 10 ++++++----
 debian/control              | 16 ++++++++++++++--
 debian/python3-spot.install |  1 +
 debian/rules                | 12 +++++++++---
 debian/spot.install         |  2 +-
 5 files changed, 31 insertions(+), 10 deletions(-)
 create mode 100644 debian/python3-spot.install

diff --git a/Makefile.am b/Makefile.am
index 153eef29d..9fd70a18c 100644
--- a/Makefile.am
+++ b/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
diff --git a/debian/control b/debian/control
index 4d0793d33..1eebc6c77 100644
--- a/debian/control
+++ b/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).
diff --git a/debian/python3-spot.install b/debian/python3-spot.install
new file mode 100644
index 000000000..4606faae2
--- /dev/null
+++ b/debian/python3-spot.install
@@ -0,0 +1 @@
+usr/lib/python3*
diff --git a/debian/rules b/debian/rules
index 4d404f2d4..7dfff456d 100755
--- a/debian/rules
+++ b/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
diff --git a/debian/spot.install b/debian/spot.install
index 35ed4f7b7..43075013f 100644
--- a/debian/spot.install
+++ b/debian/spot.install
@@ -1,3 +1,3 @@
 usr/bin
-usr/lib
+usr/lib/*-*/*.so*
 usr/share/man