git.annexia.org
/
ocaml-bitstring.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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@
OCAMLDOC = @OCAMLDOC@
INSTALL = @INSTALL@
+pkg_cil = @pkg_cil@
+pkg_extlib = @pkg_extlib@
+
OCAMLCFLAGS = -g
OCAMLCPACKAGES =
OCAMLOPTFLAGS =
OCAMLCFLAGS = -g
OCAMLCPACKAGES =
OCAMLOPTFLAGS =
@@
-34,8
+37,10
@@
OCAMLDOCFLAGS = -html -sort
SUBDIRS =
ifneq ($(pkg_cil),no)
SUBDIRS =
ifneq ($(pkg_cil),no)
+ifneq ($(pkg_extlib),no)
SUBDIRS += cil-tools
endif
SUBDIRS += cil-tools
endif
+endif
EXAMPLES = $(patsubst %.ml,%,$(wildcard examples/*.ml))
EXAMPLES = $(patsubst %.ml,%,$(wildcard examples/*.ml))