[bugfix] could not explicitly disable readline on some environment where libreadline

is installed

include/config.h

@@ -55,7 +55,11 @@
 #endif
 
 #ifndef PIC_ENABLE_READLINE
-# define PIC_ENABLE_READLINE 0
+# if PIC_READLINE_FOUND
+#  define PIC_ENABLE_READLINE 1
+# else
+#  define PIC_ENABLE_READLINE 0
+# endif
 #endif
 
 #ifndef PIC_NONE_IS_FALSE

tools/CMakeLists.txt

@@ -1,7 +1,7 @@
 find_package(READLINE)
 if (READLINE_FOUND)
   include_directories(${READLINE_INCLUDE_DIRS})
-  add_definitions(${READLINE_DEFINITIONS} -DPIC_ENABLE_READLINE=1)
+  add_definitions(${READLINE_DEFINITIONS} -DPIC_READLINE_FOUND=1)
 endif()
 
 add_executable(repl tools/main.c)