From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 12 Mar 2003 17:23:10 +0000 (+0000)
Subject: added generation of dot dependency graph
X-Git-Tag: V_0_0_4_2~23
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bfb68809af2b7fff28896edab953973a56d08a67;p=helm.git

added generation of dot dependency graph
---

diff --git a/helm/uwobo/src/ocaml/Makefile b/helm/uwobo/src/ocaml/Makefile
index 0e6466069..c586dba2c 100644
--- a/helm/uwobo/src/ocaml/Makefile
+++ b/helm/uwobo/src/ocaml/Makefile
@@ -2,9 +2,17 @@ VERSION = 0.0.1
 DISTDIR = uwobo-$(VERSION)
 REQUIRES = http gdome2 gdome2-xslt pcre unix
 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 gdome2)	\
+		$(shell $(OCAMLFIND) query -i-format gdome2-xslt)	\
+		$(shell $(OCAMLFIND) query -i-format pcre)	\
+		$(shell $(OCAMLFIND) query -i-format unix)
 MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine
 OBJS = $(patsubst %,%.cmo,$(MODULES))
 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
@@ -33,9 +41,12 @@ uwobo: $(OBJS) uwobo.ml
 uwobo.opt: $(OBJSOPT) uwobo.ml
 	$(OCAMLOPT) -linkpkg -o $@ $^
 
+uwobo.dot: *.ml *.mli
+	$(OCAMLDOC) -dot -o $@ $^
+
 distclean: clean
 clean:
-	rm -f *.cm[aiox] *.o uwobo{,.opt}
+	rm -f *.cm[aiox] *.o uwobo{,.opt,.dot}
 dist: distclean depend
 	mkdir $(DISTDIR)/
 	cp	\