From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 14 Nov 2011 20:12:32 +0000 (+0000)
Subject: public tests need to be linked against gmp/cln explicitly---looks like a subtle linke... 
X-Git-Tag: cvc5-1.0.0~8385
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=db91d5e5ad954b7a25eddd4a3e075584abc8bee3;p=cvc5.git

public tests need to be linked against gmp/cln explicitly---looks like a subtle linker change in Ubuntu 11.10 oneiric :-(
---

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index 4c97e5067..b2369e2d7 100644
--- 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