diff options
Diffstat (limited to 'src/main/CMakeLists.txt')
-rw-r--r-- | src/main/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt index 023d02cbe..7ac8b1194 100644 --- a/src/main/CMakeLists.txt +++ b/src/main/CMakeLists.txt @@ -8,6 +8,10 @@ set(libmain_src_files add_library(main ${libmain_src_files}) target_compile_definitions(main PRIVATE -D__BUILDING_CVC4DRIVER) target_link_libraries(main cvc4 cvc4parser) +if(USE_READLINE) + target_link_libraries(main ${Readline_LIBRARIES}) + target_include_directories(main PRIVATE ${Readline_INCLUDE_DIR}) +endif() set(cvc4main_src_files command_executor.cpp |