From 60130237946ea38e372e313f9eada5b49dcd2079 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 16 Nov 2021 23:26:02 +0100 Subject: [PATCH] tests: add missing dependency on libbddx in ltsmin tests * tests/Makefile.am (ltsmin_modelcheck_LDADD, ltsmin_testconvert_LDADD): Add libbddx as a dependecy. --- tests/Makefile.am | 19 +++++++------------ 1 file changed, 7 insertions(+), 12 deletions(-) diff --git a/tests/Makefile.am b/tests/Makefile.am index 18ad8a9f0..febb2184b 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -478,26 +478,21 @@ EXTRA_DIST = \ check_PROGRAMS += ltsmin/modelcheck check_PROGRAMS += ltsmin/testconvert ltsmin_modelcheck_CPPFLAGS = -I$(top_builddir) -I$(top_srcdir) \ - $(BUDDY_CPPFLAGS) \-I$(top_builddir)/lib -I$(top_srcdir)/lib + $(BUDDY_CPPFLAGS) -I$(top_builddir)/lib -I$(top_srcdir)/lib ltsmin_modelcheck_CXXFLAGS = $(CXXFLAGS) -pthread ltsmin_modelcheck_SOURCES = ltsmin/modelcheck.cc -ltsmin_modelcheck_LDADD = \ +ltsmin_modelcheck_LDADD = \ $(top_builddir)/bin/libcommon.a \ $(top_builddir)/lib/libgnu.la \ - $(top_builddir)/spot/libspot.la \ - $(top_builddir)/spot/ltsmin/libspotltsmin.la + $(top_builddir)/spot/libspot.la \ + $(top_builddir)/spot/ltsmin/libspotltsmin.la \ + $(top_builddir)/buddy/src/libbddx.la ltsmin_testconvert_CPPFLAGS = -I$(top_builddir) -I$(top_srcdir) \ - $(BUDDY_CPPFLAGS) \-I$(top_builddir)/lib -I$(top_srcdir)/lib + $(BUDDY_CPPFLAGS) -I$(top_builddir)/lib -I$(top_srcdir)/lib ltsmin_testconvert_CXXFLAGS = $(CXXFLAGS) -pthread ltsmin_testconvert_SOURCES = ltsmin/testconvert.cc -ltsmin_testconvert_LDADD = \ - $(top_builddir)/bin/libcommon.a \ - $(top_builddir)/lib/libgnu.la \ - $(top_builddir)/spot/libspot.la \ - $(top_builddir)/buddy/src/libbddx.la \ - $(top_builddir)/spot/ltsmin/libspotltsmin.la - +ltsmin_testconvert_LDADD = $(ltsmin_modelcheck_LDADD) check_SCRIPTS += ltsmin/defs