extlib is needed for CIL tools subdir

[ocaml-bitstring.git] / Makefile.in

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