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 /CMakeLists.txt | |
| parent | 0988217562006d3f59e01dc261f39121df6d75f5 (diff) | |
Support for using 'libedit' over 'readline' #4571 (#4579)
Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index f4aa6c611..7fc0af52c 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -139,7 +139,7 @@ cvc4_option(USE_CLN "Use CLN instead of GMP") cvc4_option(USE_CRYPTOMINISAT "Use CryptoMiniSat SAT solver") cvc4_option(USE_GLPK "Use GLPK simplex solver") cvc4_option(USE_KISSAT "Use Kissat SAT solver") -cvc4_option(USE_READLINE "Use readline for better interactive support") +cvc4_option(USE_EDITLINE "Use Editline for better interactive support") # >> 2-valued: ON OFF # > for options where we don't need to detect if set by user (default: OFF) option(USE_DRAT2ER "Include drat2er for making eager BV proofs") @@ -274,7 +274,7 @@ if(ENABLE_BEST) cvc4_set_option(USE_CLN ON) cvc4_set_option(USE_CRYPTOMINISAT ON) cvc4_set_option(USE_GLPK ON) - cvc4_set_option(USE_READLINE ON) + cvc4_set_option(USE_EDITLINE ON) endif() # Only enable unit testing if assertions are enabled. Otherwise, unit tests @@ -514,12 +514,11 @@ else() set(CVC4_USE_POLY_IMP 0) endif() -if(USE_READLINE) - set(GPL_LIBS "${GPL_LIBS} readline") - find_package(Readline REQUIRED) - set(HAVE_LIBREADLINE 1) - if(Readline_COMPENTRY_FUNC_RETURNS_CHARPTR) - set(READLINE_COMPENTRY_FUNC_RETURNS_CHARP 1) +if(USE_EDITLINE) + find_package(Editline REQUIRED) + set(HAVE_LIBEDITLINE 1) + if(Editline_COMPENTRY_FUNC_RETURNS_CHARPTR) + set(EDITLINE_COMPENTRY_FUNC_RETURNS_CHARP 1) endif() endif() @@ -707,7 +706,7 @@ if(CVC4_USE_CLN_IMP) else() message("MP library : gmp") endif() -print_config("Readline :" ${USE_READLINE}) +print_config("Editline :" ${USE_EDITLINE}) print_config("SymFPU :" ${USE_SYMFPU}) message("") if(ABC_DIR) |