git.annexia.org
/
todo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
list: Improve output.
[todo.git]
/
configure.ac
diff --git
a/configure.ac
b/configure.ac
index
7a01621
..
b1f0b60
100644
(file)
--- a/
configure.ac
+++ b/
configure.ac
@@
-86,6
+86,12
@@
if test "x$OCAML_PKG_pgocaml" = "xno"; then
AC_MSG_ERROR([You must install the 'ocaml-pgocaml' library])
fi
AC_MSG_ERROR([You must install the 'ocaml-pgocaml' library])
fi
+dnl Check for OCaml package PCRE (required).
+AC_CHECK_OCAML_PKG(pcre)
+if test "x$OCAML_PKG_pcre" = "xno"; then
+ AC_MSG_ERROR([You must install the 'ocaml-pcre' library])
+fi
+
dnl Check for POD (for manual pages).
AC_CHECK_PROG(POD2MAN,pod2man,pod2man,no)
AM_CONDITIONAL([HAVE_POD2MAN],
dnl Check for POD (for manual pages).
AC_CHECK_PROG(POD2MAN,pod2man,pod2man,no)
AM_CONDITIONAL([HAVE_POD2MAN],