Commit 039b7bae authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

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.
parent 7eb631dd
......@@ -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
......
usr/include/spot
usr/lib/*-*/libspot.so
usr/lib/*-*/libspotltsmin.so
usr/lib/*-*/libspotltsmin.so.*
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment