From 7c9ae3d361124ed8fdb746eeee1f1ce9c2f3a9d7 Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Tue, 19 May 2020 08:00:13 +0200 Subject: [PATCH] tests: add missing library * tests/Makefile.am: Here. --- tests/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tests/Makefile.am b/tests/Makefile.am index 00f8d42cd..7a1a5d03d 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -476,7 +476,8 @@ 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)/spot/libspot.la \ + $(top_builddir)/buddy/src/libbddx.la \ $(top_builddir)/spot/ltsmin/libspotltsmin.la