summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--configure.ac4
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index 140d2fe..38795ab 100644
--- a/configure.ac
+++ b/configure.ac
@@ -51,6 +51,10 @@ AC_ARG_ENABLE([dev-tools],
[build_dev_tools=false])
if test "$build_dev_tools" = true; then
DEV_SUB=dev
+ AC_CHECK_HEADERS([readline/readline.h],
+ [],
+ [AC_MSG_ERROR([Please install readline development headers])]
+ )
else
DEV_SUB=
fi