From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 25 Feb 2003 13:57:42 +0000 (+0000)
Subject: added generation of DOT modules dependency graph
X-Git-Tag: V_0_0_4_1~6
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b8e5b2544f9a29d4a3f2c01a4ff0711d9c6ed399;p=helm.git

added generation of DOT modules dependency graph
---

diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile
index 6482ba0bf..06174962b 100644
--- a/helm/http_getter/Makefile
+++ b/helm/http_getter/Makefile
@@ -3,9 +3,20 @@ NAME = http_getter
 DISTDIR = http-getter-$(VERSION)
 REQUIRES = http dbm pcre netclient pxp shell threads zip
 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 http)	\
+		$(shell $(OCAMLFIND) query -i-format dbm)	\
+		$(shell $(OCAMLFIND) query -i-format pcre)	\
+		$(shell $(OCAMLFIND) query -i-format netclient)	\
+		$(shell $(OCAMLFIND) query -i-format pxp)	\
+		$(shell $(OCAMLFIND) query -i-format shell)	\
+		$(shell $(OCAMLFIND) query -i-format threads)	\
+		$(shell $(OCAMLFIND) query -i-format zip)
 MODULES =	\
 	http_getter_debugger threadSafe							\
 	http_getter_types http_getter_misc http_getter_const	\
@@ -40,9 +51,12 @@ $(NAME): $(OBJS) $(NAME).ml
 $(NAME).opt: $(OBJSOPT) $(NAME).ml
 	$(OCAMLOPT) -linkpkg -thread -o $@ $^
 
+http_getter.dot: *.ml *.mli
+	$(OCAMLDOC) -dot -o $@ $^
+
 distclean: clean
 clean:
-	rm -f *.cm[aiox] *.o $(NAME){,.opt}
+	rm -f *.cm[aiox] *.o $(NAME){,.opt} *.dot
 dist: distclean depend
 	mkdir $(DISTDIR)/
 	cp	\