From 48596d14f3aa3946fb53c632ca0f38827097951a Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 15 Aug 2018 12:53:43 -0700
Subject: cmake: Add module finder for readline.

---
 src/main/CMakeLists.txt | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/main/CMakeLists.txt')

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
-- 
cgit v1.2.3