fix for configure

diff --git a/README b/README
index aaa36ff67392ddff27a7394a5718a6827849bcd6..f3c38d2cb7da0480acfc2be43850f91be121003f 100644 (file)
--- a/README
+++ b/README
@@ -31,6 +31,7 @@ GMP v4.2 (GNU Multi-Precision arithmetic library)
 libantlr3c v3.2 (ANTLR parser generator)
 Optional: CLN v1.3 (Class Library for Numbers)
 Optional: CUDD v2.4.2 (Colorado University Decision Diagram package)
+Optional: GNU Readline library (for an improved interactive experience)
 
 CUDD, if desired, must be installed in a special manner.  The default
 distribution from vlsi.colorado.edu doesn't build shared objects,

diff --git a/config/readline.m4 b/config/readline.m4
index 5535a45f4520ecf2fcdfba6aa658235db5894d7f..70f36bc79dec26000d8a4cc4606666df40c0f163 100644 (file)
--- a/config/readline.m4
+++ b/config/readline.m4
@@ -20,7 +20,7 @@ else
                [if test "$with_readline" != check; then
                   AC_MSG_FAILURE([cannot find libreadline!])
                 fi], -lncurses)
-  if [ -z "$READLINE_LDFLAGS" ]; then with_readline=no; else with_readline=yes; fi
+  if test -z "$READLINE_LDFLAGS"; then with_readline=no; else with_readline=yes; fi
 fi
 ])# CVC4_CHECK_FOR_READLINE