CIL: Include dynlink for OCaml 3.11.

[ocaml-bitstring.git] / cil-tools / Makefile.in

diff --git a/cil-tools/Makefile.in b/cil-tools/Makefile.in
index 8fbe59c..c439ecc 100644 (file)
--- a/cil-tools/Makefile.in
+++ b/cil-tools/Makefile.in
@@ -25,13 +25,20 @@ OCAMLMKLIB  = @OCAMLMKLIB@
 OCAMLDOC       = @OCAMLDOC@
 INSTALL                = @INSTALL@
 
+enable_coverage = @enable_coverage@
+
 OCAMLCFLAGS    = -g
-OCAMLCPACKAGES = -package unix,str,extlib,cil -I +camlp4 -I ..
+OCAMLCPACKAGES = -package dynlink,unix,str,extlib,cil -I +camlp4 -I ..
 OCAMLCLIBS     = $(OCAMLCPACKAGES) camlp4lib.cma -linkpkg ../bitstring.cma ../bitstring_persistent.cma
 OCAMLOPTFLAGS  =
 OCAMLOPTPACKAGES = $(OCAMLCPACKAGES)
 OCAMLOPTLIBS   = $(OCAMLOPTPACKAGES) camlp4lib.cmxa -linkpkg ../bitstring.cmxa ../bitstring_persistent.cmxa
 
+ifneq ($(enable_coverage),no)
+OCAMLCLIBS     := -I +bisect bisect.cma $(OCAMLCLIBS)
+OCAMLOPTLIBS   := -I +bisect bisect.cmxa $(OCAMLOPTLIBS)
+endif
+
 PP             = -pp "camlp4o -I .. bitstring.cma bitstring_persistent.cma pa_bitstring.cmo"
 
 OCAMLDOCFLAGS  = -html -sort
@@ -89,6 +96,7 @@ task_struct.bmpp: task_struct.c bitstring-import-c
 clean:
        rm -f core *~ *.cmi *.cmo *.cmx *.cma *.cmxa *.a *.o *.bmpp
        rm -f bitstring-import-c bitstring-import-c.opt
+       rm -f ext3 task_struct
 
 distclean: clean