From 039b7bae145cc95fb73033daa71be8519f5f9fe8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 6 Jul 2015 19:49:36 +0200
Subject: [PATCH] ltsmin: install the library

Fixes #94.

* iface/ltsmin/Makefile.am: Install libspotltsmin.
* debian/libspotltlsmin0.install: New file.
* debian/control (libspotltlsmin0): New package.
* debian/libspot-dev.install: Add the linspotltlsmin0.so symlink.
---
 debian/control                 | 11 ++++++++++-
 debian/libspot-dev.install     |  1 +
 debian/libspotltlsmin0.install |  1 +
 iface/ltsmin/Makefile.am       |  2 +-
 4 files changed, 13 insertions(+), 2 deletions(-)
 create mode 100644 debian/libspotltlsmin0.install

diff --git a/debian/control b/debian/control
index 087479389..25487d5cc 100644
--- a/debian/control
+++ b/debian/control
@@ -30,7 +30,7 @@ Package: libspot-dev
 Architecture: any
 Section: libdevel
 Suggests: spot-doc
-Depends: libspot0 (>= ${source:Version}), libspot0 (<< ${source:Version}.1~), ${misc:Depends}
+Depends: libspot0 (>= ${source:Version}), libspot0 (<< ${source:Version}.1~), libspotltsmin0 (>= ${source:Version}) , libspotltsmin0 (<< ${source:Version}), ${misc:Depends}
 Description: headers for the Spot model checking library
  C++ headers for the Spot library.
 
@@ -51,6 +51,15 @@ Depends: spot (>= ${source:Version}), spot (<< ${source:Version}.1~), ${misc:Dep
 Description: headers for the Spot model checking library
  C++ headers for the Spot library.
 
+Package: libspotltsmin0
+Architecture: any
+Section: science
+Recommends: graphviz
+Suggests: libspot-dev
+Depends: ${shlibs:Depends}, ${misc:Depends}, libspot0 (>= ${source:Version}), libspot0 (<< ${source:Version}.1~)
+Description: interface between Spot and LTSmin models
+ Library load LTSmin models as Spot automata.
+
 Package: spot-doc
 Section: doc
 Architecture: all
diff --git a/debian/libspot-dev.install b/debian/libspot-dev.install
index bc6eb275a..1042d0eeb 100644
--- a/debian/libspot-dev.install
+++ b/debian/libspot-dev.install
@@ -1,2 +1,3 @@
 usr/include/spot
 usr/lib/*-*/libspot.so
+usr/lib/*-*/libspotltsmin.so
diff --git a/debian/libspotltlsmin0.install b/debian/libspotltlsmin0.install
new file mode 100644
index 000000000..9e28bb613
--- /dev/null
+++ b/debian/libspotltlsmin0.install
@@ -0,0 +1 @@
+usr/lib/*-*/libspotltsmin.so.*
diff --git a/iface/ltsmin/Makefile.am b/iface/ltsmin/Makefile.am
index 1fcf786c1..793afea84 100644
--- a/iface/ltsmin/Makefile.am
+++ b/iface/ltsmin/Makefile.am
@@ -25,7 +25,7 @@ ltsmindir = $(pkgincludedir)/iface/ltsmin
 
 ltsmin_HEADERS = ltsmin.hh
 
-noinst_LTLIBRARIES = libspotltsmin.la
+lib_LTLIBRARIES = libspotltsmin.la
 libspotltsmin_la_LIBADD = \
   $(top_builddir)/src/libspot.la \
   $(top_builddir)/ltdl/libltdlc.la -lpthread