Clarify licensing for Debian.

[ocaml-bitstring.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index a1a1eb6..a697d39 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -25,6 +25,9 @@ OCAMLMKLIB    = @OCAMLMKLIB@
 OCAMLDOC       = @OCAMLDOC@
 INSTALL                = @INSTALL@
 
+pkg_cil                = @pkg_cil@
+pkg_extlib     = @pkg_extlib@
+
 OCAMLCFLAGS    = -g
 OCAMLCPACKAGES =
 OCAMLOPTFLAGS  =
@@ -34,8 +37,10 @@ OCAMLDOCFLAGS        = -html -sort
 
 SUBDIRS                =
 ifneq ($(pkg_cil),no)
+ifneq ($(pkg_extlib),no)
 SUBDIRS                += cil-tools
 endif
+endif
 
 EXAMPLES       = $(patsubst %.ml,%,$(wildcard examples/*.ml))