diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-05-01 22:32:32 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-05-01 22:32:32 +0000 |
| commit | bf837ea666980a0556d7881316f34be7ad1e2ea2 (patch) | |
| tree | 6c0a5eae01f7967c02a0ef84c4bccbacf5dfa35f /config | |
| parent | 89b0369e887b4cf876e95dc862ae3057383370f3 (diff) | |
minor fixes, plus experimental readline support in InteractiveShell
Diffstat (limited to 'config')
| -rw-r--r-- | config/readline.m4 | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/config/readline.m4 b/config/readline.m4 new file mode 100644 index 000000000..4ebe6bce3 --- /dev/null +++ b/config/readline.m4 @@ -0,0 +1,25 @@ +# CVC4_CHECK_FOR_READLINE +# ----------------------- +# Look for readline and link it in, but allow user to disable. +AC_DEFUN([CVC4_CHECK_FOR_READLINE], [ +AC_MSG_CHECKING([whether user requested readline support]) +AC_ARG_WITH([readline], [AS_HELP_STRING([--with-readline], [support the readline library])], [], [with_readline=check]) +LIBREADLINE= +if test "$with_readline" = no; then + AC_MSG_RESULT([no, readline disabled by user]) +else + if test "$with_readline" = check; then + AC_MSG_RESULT([no preference by user, will auto-detect]) + else + AC_MSG_RESULT([yes, readline enabled by user]) + fi + AC_CHECK_LIB([readline], [readline], + [AC_CHECK_HEADER([readline/readline.h], + AC_SUBST([READLINE_LDFLAGS], ["-lreadline -lncurses"]) + AC_DEFINE([HAVE_LIBREADLINE], [1], [Define to 1 to use libreadline]))], + [if test "$with_readline" != check; then + AC_MSG_FAILURE([cannot find libreadline!]) + fi], -lncurses) +fi +])# CVC4_CHECK_FOR_READLINE + |