diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-15 12:53:43 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 48596d14f3aa3946fb53c632ca0f38827097951a (patch) | |
| tree | 55cb93b95250fb2a8f0b638e95176ca622d2b710 /src/main | |
| parent | 52b9d01f4c3cc0b34daa4759e1004fc315f3f30e (diff) | |
cmake: Add module finder for readline.
Diffstat (limited to 'src/main')
| -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 |