extlib is needed for CIL tools subdir

diff --git a/Makefile.in b/Makefile.in
index a1a1eb6..e8fa403 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -34,8 +34,10 @@ OCAMLDOCFLAGS        = -html -sort
 
 SUBDIRS                =
 ifneq ($(pkg_cil),no)
+ifneq ($(pkg_extlib),no)
 SUBDIRS                += cil-tools
 endif
+endif
 
 EXAMPLES       = $(patsubst %.ml,%,$(wildcard examples/*.ml))
 

diff --git a/configure.ac b/configure.ac
index 4bd3b16..5d48fe4 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -51,6 +51,10 @@ if test "x$CAMLP4OF" = "xno"; then
     AC_MSG_ERROR([You must have camlp4 installed])
 fi
 
+dnl Check for Extlib (optional)
+AC_CHECK_OCAML_PKG(extlib)
+AC_SUBST(pkg_extlib)
+
 dnl Check for CIL (optional)
 AC_CHECK_OCAML_PKG(cil)
 AC_SUBST(pkg_cil)