From b1007a3d03d432c5ce34c1390afa43e61841bf1b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 10 Sep 2019 14:56:53 +0200 Subject: [PATCH] fix failing tests on Debian unstable * tests/Makefile.am (ltsmin_modelcheck_LDADD): Add -lpthread as it seems Debian's libtool does not carries this dependency over from libspotltsmin.la. Also using $(LTLIBMULTITHREAD) does not work, because that would add -pthread which is currently ignored when linking shared libraries (because libtool adds -nostdlib for some reason). --- tests/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tests/Makefile.am b/tests/Makefile.am index 253b82dc3..309a28b58 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -445,7 +445,8 @@ if USE_LTSMIN check_PROGRAMS += ltsmin/modelcheck ltsmin_modelcheck_SOURCES = ltsmin/modelcheck.cc -ltsmin_modelcheck_LDADD = $(top_builddir)/spot/ltsmin/libspotltsmin.la $(LDADD) +ltsmin_modelcheck_LDADD = $(top_builddir)/spot/ltsmin/libspotltsmin.la \ + $(LDADD) -lpthread check_SCRIPTS += ltsmin/defs