diff options
author | Andrew V. Jones <andrew.jones@vector.com> | 2020-07-17 18:09:14 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-17 10:09:14 -0700 |
commit | e8df6f67cc2654f50d49995377a4b411668235e1 (patch) | |
tree | fb8c2b35197e5821ac15c78b74da0d2de8eec3fc /cvc4autoconfig.h.in | |
parent | 0988217562006d3f59e01dc261f39121df6d75f5 (diff) |
Support for using 'libedit' over 'readline' #4571 (#4579)
Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
Diffstat (limited to 'cvc4autoconfig.h.in')
-rw-r--r-- | cvc4autoconfig.h.in | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/cvc4autoconfig.h.in b/cvc4autoconfig.h.in index 1c9fdf605..603670a3a 100644 --- a/cvc4autoconfig.h.in +++ b/cvc4autoconfig.h.in @@ -43,8 +43,11 @@ /* Define if `ffs' is supported by the platform. */ #cmakedefine HAVE_FFS -/* Define to 1 to use libreadline. */ -#cmakedefine01 HAVE_LIBREADLINE +/* Define to 1 to use libedit. */ +#cmakedefine01 HAVE_LIBEDITLINE + +/* Define to 1 if `rl_completion_entry_function' returns (char *). */ +#cmakedefine01 EDITLINE_COMPENTRY_FUNC_RETURNS_CHARP /* Define if `sigaltstack' is supported by the platform. */ #cmakedefine HAVE_SIGALTSTACK @@ -58,9 +61,6 @@ /* Define to 1 if the <unistd.h> header file is available. */ #cmakedefine01 HAVE_UNISTD_H -/* Define to 1 if `rl_completion_entry_function' returns (char *). */ -#cmakedefine01 READLINE_COMPENTRY_FUNC_RETURNS_CHARP - /* Define to 1 if `strerror_r' returns (char *). */ #cmakedefine01 STRERROR_R_CHAR_P |