X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=cil-tools%2FMakefile.in;h=c439eccfb3ff2aae8f6692f576243434c1104308;hb=HEAD;hp=8fbe59ccdd3238d9bc23f44c554df2cc4cd7352a;hpb=0fb4b24ebe3b85c935786f8e3e472d0d2292744e;p=ocaml-bitstring.git

diff --git a/cil-tools/Makefile.in b/cil-tools/Makefile.in
index 8fbe59c..c439ecc 100644
--- 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