X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fcommon%2FMakefile;h=94c354f044a880981bc56b95ac2a524ae18e43eb;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=0e25d75e1c115df6867a93545de6cf24587b94b8;hpb=3c22cac92d5cd8fc9926d0a7c32b058f9ab8d212;p=helm.git

diff --git a/helm/hbugs/common/Makefile b/helm/hbugs/common/Makefile
index 0e25d75e1..94c354f04 100644
--- a/helm/hbugs/common/Makefile
+++ b/helm/hbugs/common/Makefile
@@ -1,20 +1,34 @@
-REQUIRES = pcre pxp http
+REQUIRES = helm-xml helm-pxp pcre pxp http
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
-OCAMLC = ocamlfind ocamlc $(COMMONOPTS)
-OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS)
-OCAMLDEP = ocamlfind ocamldep $(COMMONOPTS)
+OCAMLFIND = ocamlfind
+OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)
+OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMONOPTS)
+OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMONOPTS)
+OCAMLDOC =	\
+	ocamldoc	\
+		$(shell $(OCAMLFIND) query -i-format helm-xml)	\
+		$(shell $(OCAMLFIND) query -i-format helm-pxp)	\
+		$(shell $(OCAMLFIND) query -i-format pcre)	\
+		$(shell $(OCAMLFIND) query -i-format pxp-engine)	\
+		$(shell $(OCAMLFIND) query -i-format threads)	\
+		$(shell $(OCAMLFIND) query -i-format http)
 MODULES =	\
 	hbugs_types threadSafe hbugs_misc	\
-	hbugs_id_generator hbugs_messages
+	hbugs_common hbugs_id_generator hbugs_messages
 
 OBJS = $(patsubst %,%.cmo,$(MODULES))
 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
+DEPS = $(shell $(OCAMLFIND) query -recursive -predicates byte -format "%d/%a" $(REQUIRES))
+DEPSOPT = $(shell $(OCAMLFIND) query -recursive -predicates native -format "%d/%a" $(REQUIRES))
 
 all: byte
 byte: $(OBJS)
 opt: $(OBJSOPT)
 world: byte opt
 
+hbugs_common.dot: *.ml *.mli
+	$(OCAMLDOC) -dot -o $@ $^
+
 include .depend
 depend:
 	$(OCAMLDEP) *.ml *.mli > .depend
@@ -26,6 +40,8 @@ depend:
 %.cmx: %.ml %.cmi
 	$(OCAMLOPT) -c $<
 include Makefile.overrides
+$(OBJS): $(DEPS)
+$(OBJSOPT): $(DEPSOPT)
 
 distclean: clean
 clean: