From 7463a9d31d4a84a73c1cb9c732d8b0b84a94445d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 18 Jun 2014 10:24:02 +0100
Subject: [PATCH] fix readline configuration: if readline not found autoconf
 should still go on.

---
 configure.in | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/configure.in b/configure.in
index 06f27afd3..35d0a79c7 100755
--- a/configure.in
+++ b/configure.in
@@ -653,14 +653,13 @@ then
               ])
   AC_CHECK_LIB([readline], [main],[
                 AC_DEFINE([HAVE_LIBREADLINE], [1], [Define if you have libreadline])
-		LIBS="-lreadline $LIBS"
+		        LIBS="-lreadline $LIBS"
+		        AC_CHECK_TYPES([rl_hook_func_t, rl_completion_func_t])
               ],
-              [if test "x$with_readline" != xcheck; then
-                 AC_MSG_FAILURE(
-                   [--with-readline was given, but test for readline failed])
-               fi
-              ])
-              AC_CHECK_TYPES([rl_hook_func_t, rl_completion_func_t])
+              [
+                 AC_MSG_RESULT( [test for readline failed])
+              ]
+           )
 fi
 
 if test "$yap_cv_gmp" != "no"