diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 4 |
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], | |||
| 51 | [build_dev_tools=false]) | 51 | [build_dev_tools=false]) |
| 52 | if test "$build_dev_tools" = true; then | 52 | if test "$build_dev_tools" = true; then |
| 53 | DEV_SUB=dev | 53 | DEV_SUB=dev |
| 54 | AC_CHECK_HEADERS([readline/readline.h], | ||
| 55 | [], | ||
| 56 | [AC_MSG_ERROR([Please install readline development headers])] | ||
| 57 | ) | ||
| 54 | else | 58 | else |
| 55 | DEV_SUB= | 59 | DEV_SUB= |
| 56 | fi | 60 | fi |
