From: Richard W.M. Jones <rich@annexia.org>
Date: Tue, 1 Jul 2008 14:36:25 +0000 (+0000)
Subject: extlib is needed for CIL tools subdir
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=5b247e02fde0d06d3c96ac33ff80aa620fce9eb0;hp=8c6613dee5fc1255345c707b68a085751b743613;p=ocaml-bitstring.git

extlib is needed for CIL tools subdir
---

diff --git a/Makefile.in b/Makefile.in
index a1a1eb6..e8fa403 100644
--- 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
--- 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)