diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-10-19 21:35:50 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-10-19 21:35:50 +0000 |
commit | 255d7e4140d5fee6edfe5c7233c8870f889b2a32 (patch) | |
tree | 2d6bfcea23776edbc90c34784db139040fe097dc /src/main | |
parent | 2ef582ec2671a9d6e88aec576786b796e504e3cb (diff) |
fix bug #264: competition / other static library builds when readline isn't available
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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) |