From 255d7e4140d5fee6edfe5c7233c8870f889b2a32 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 19 Oct 2011 21:35:50 +0000 Subject: fix bug #264: competition / other static library builds when readline isn't available --- src/main/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/main/Makefile.am b/src/main/Makefile.am index d53ae55a0..da3b5896a 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -20,7 +20,7 @@ cvc4_LDADD = \ @builddir@/../parser/libcvc4parser.la \ @builddir@/../libcvc4.la \ @builddir@/../lib/libreplacements.la \ - $(READLINE_LDFLAGS) + $(READLINE_LIBS) BUILT_SOURCES = \ $(TOKENS_FILES) -- cgit v1.2.3