CMakeLists.txt, Makefile: pass readline flags from the CMake lists file to the Makefile.

CMakeLists.txt

@@ -25,10 +25,19 @@ endfunction()
 
 project(abc)
 
+if(READLINE_FOUND MATCHES TRUE)
+    addprefix(READLINE_INCLUDES_FLAGS "-I" ${READLINE_INCLUDES})
+    list(APPEND ABC_READLINE_FLAGS "ABC_READLINE_INCLUDES=${READLINE_INCLUDES_FLAGS}")
+    list(APPEND ABC_READLINE_FLAGS "ABC_READLINE_LIBRARIES=${READLINE_LIBRARIES}")
+elseif(READLINE_FOUND MATCHES FALSE)
+    list(APPEND ABC_READLINE_FLAGS "ABC_USE_NO_READLINE=1")
+endif()
+
 # run make to extract compiler options, linker options and list of source files
 execute_process(
   COMMAND
     make
+        ${ABC_READLINE_FLAGS}
         ABC_MAKE_NO_DEPS=1
         CC=${CMAKE_C_COMPILER}
         CXX=${CMAKE_CXX_COMPILER}

Makefile

@@ -64,6 +64,16 @@ ifndef ABC_USE_NO_CUDD
   $(info $(MSG_PREFIX)Compiling with CUDD)
 endif
 
+ABC_READLINE_INCLUDES ?=
+ABC_READLINE_LIBRARIES ?= -lreadline
+
+# whether to use libreadline
+ifndef ABC_USE_NO_READLINE
+  CFLAGS += -DABC_USE_READLINE $(ABC_READLINE_INCLUDES)
+  LIBS += $(ABC_READLINE_LIBRARIES)
+  $(info $(MSG_PREFIX)Using libreadline)
+endif
+
 # whether to use libreadline
 ifndef ABC_USE_NO_READLINE
   CFLAGS += -DABC_USE_READLINE