public tests need to be linked against gmp/cln explicitly---looks like a subtle linke...

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index 4c97e50674003f7bff53a444b0b028c079f83a00..b2369e2d799a9848dca10bb1abca08747fb6cf8b 100644 (file)
--- a/test/unit/Makefile.am
+++ b/test/unit/Makefile.am
@@ -75,7 +75,7 @@ AM_CPPFLAGS = \
        $(ANTLR_INCLUDES) \
        $(TEST_CPPFLAGS)
 AM_CXXFLAGS = -Wall -Wno-unknown-pragmas -Wno-parentheses $(TEST_CXXFLAGS)
-AM_LDFLAGS = $(TEST_LDFLAGS) $(READLINE_LIBS)
+AM_LDFLAGS = $(TEST_LDFLAGS) $(READLINE_LIBS) $(LIBS)
 
 AM_CXXFLAGS_WHITE = -fno-access-control -D__BUILDING_CVC4LIB_UNIT_TEST -D__BUILDING_CVC4PARSERLIB_UNIT_TEST
 AM_CXXFLAGS_BLACK = -D__BUILDING_CVC4LIB_UNIT_TEST -D__BUILDING_CVC4PARSERLIB_UNIT_TEST