alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

ltsmin: use any installed libltdl

Browse source 
This should solve issue with the Debian package.

* spot/ltsmin/Makefile.am: Use the LTDLINC, LTDLDEPS and LIBLTDL as
documented.
* NEWS: Mention the fix.
This commit is contained in:
Alexandre Duret-Lutz 2016-11-28 17:32:40 +01:00
parent 9bc978a90f
commit b1f9081761
2 changed files with 12 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
NEWS
View file

@ -1,5 +1,10 @@
New in spot 2.2.1.dev (Not yet released) New in spot 2.2.1.dev (Not yet released)
Build:
* If the system has an installed libltdl library, use it instead of
the one we distribute.
Bug fixes: Bug fixes:
* scc_filter() had a left-over print statement that would print * scc_filter() had a left-over print statement that would print

11
spot/ltsmin/Makefile.am
View file

@ -1,6 +1,6 @@
## -*- coding: utf-8 -*- ## -*- coding: utf-8 -*-
## Copyright (C) 2011, 2013, 2014, 2015 Laboratoire de Recherche et ## Copyright (C) 2011, 2013, 2014, 2015, 2016 Laboratoire de Recherche
## Developpement de l'Epita (LRDE). ## et Developpement de l'Epita (LRDE).
## ##
## This file is part of Spot, a model checking library. ## This file is part of Spot, a model checking library.
## ##
@ -18,7 +18,7 @@
## along with this program. If not, see <http://www.gnu.org/licenses/>. ## along with this program. If not, see <http://www.gnu.org/licenses/>.
AM_CPPFLAGS = -I$(top_builddir) -I$(top_srcdir) \ AM_CPPFLAGS = -I$(top_builddir) -I$(top_srcdir) \
$(BUDDY_CPPFLAGS) -I$(top_srcdir)/ltdl $(BUDDY_CPPFLAGS) $(LTDLINCL)
AM_CXXFLAGS = $(WARNING_CXXFLAGS) AM_CXXFLAGS = $(WARNING_CXXFLAGS)
ltsmindir = $(pkgincludedir)/ltsmin ltsmindir = $(pkgincludedir)/ltsmin
@ -26,8 +26,11 @@ ltsmindir = $(pkgincludedir)/ltsmin
ltsmin_HEADERS = ltsmin.hh ltsmin_HEADERS = ltsmin.hh
lib_LTLIBRARIES = libspotltsmin.la lib_LTLIBRARIES = libspotltsmin.la
libspotltsmin_la_DEPENDENCIES = \
$(top_builddir)/spot/libspot.la \
$(LTDLDEPS)
libspotltsmin_la_LIBADD = \ libspotltsmin_la_LIBADD = \
$(top_builddir)/spot/libspot.la \ $(top_builddir)/spot/libspot.la \
$(top_builddir)/ltdl/libltdlc.la -lpthread $(LIBLTDL) -lpthread
libspotltsmin_la_LDFLAGS = -no-undefined $(SYMBOLIC_LDFLAGS) libspotltsmin_la_LDFLAGS = -no-undefined $(SYMBOLIC_LDFLAGS)
libspotltsmin_la_SOURCES = ltsmin.cc libspotltsmin_la_SOURCES = ltsmin.cc