From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 22 Feb 2012 20:12:44 +0000 (+0000)
Subject: make sure to clear out READLINE_LIBS if readline causes problems at configure time... 
X-Git-Tag: cvc5-1.0.0~8311
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e1d2304f93adc9bd53d0d715de02648c2ba369fa;p=cvc5.git

make sure to clear out READLINE_LIBS if readline causes problems at configure time; fixes a bug reported by Clark for static-binary builds on machines where no static libreadline is available (like CIMS machines)
---

diff --git a/config/readline.m4 b/config/readline.m4
index e97878ffa..42c85d47d 100644
--- a/config/readline.m4
+++ b/config/readline.m4
@@ -53,6 +53,7 @@ else
     HAVE_LIBREADLINE=1
   else
     HAVE_LIBREADLINE=0
+    READLINE_LIBS=
   fi
   AC_DEFINE_UNQUOTED([HAVE_LIBREADLINE], ${HAVE_LIBREADLINE}, [Define to 1 to use libreadline])
   AC_SUBST([READLINE_LIBS])