diff options
Diffstat (limited to 'config/readline.m4')
| -rw-r--r-- | config/readline.m4 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/readline.m4 b/config/readline.m4 index 90785c7a0..957836285 100644 --- a/config/readline.m4 +++ b/config/readline.m4 @@ -70,6 +70,7 @@ fi # Try AC_CHECK_LIB(readline) with the given linking libraries AC_DEFUN([CVC4_TRY_READLINE_WITH], [ if test -z "$READLINE_LIBS"; then + unset ac_cv_lib_readline_readline AC_CHECK_LIB([readline], [readline], [AC_CHECK_HEADER([readline/readline.h], [READLINE_LIBS="-lreadline $1"], |