From 5b247e02fde0d06d3c96ac33ff80aa620fce9eb0 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rich@annexia.org>
Date: Tue, 1 Jul 2008 14:36:25 +0000
Subject: [PATCH] extlib is needed for CIL tools subdir

---
 Makefile.in  | 2 ++
 configure.ac | 4 ++++
 2 files changed, 6 insertions(+)

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)
-- 
1.8.3.1