fix readline configuration: if readline not found autoconf should still

go on.
This commit is contained in:
Vítor Santos Costa 2014-06-18 10:24:02 +01:00
parent 50dea76186
commit 7463a9d31d

View File

@ -653,14 +653,13 @@ then
]) ])
AC_CHECK_LIB([readline], [main],[ AC_CHECK_LIB([readline], [main],[
AC_DEFINE([HAVE_LIBREADLINE], [1], [Define if you have libreadline]) 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( AC_MSG_RESULT( [test for readline failed])
[--with-readline was given, but test for readline failed]) ]
fi )
])
AC_CHECK_TYPES([rl_hook_func_t, rl_completion_func_t])
fi fi
if test "$yap_cv_gmp" != "no" if test "$yap_cv_gmp" != "no"