]> matita.cs.unibo.it Git - helm.git/commitdiff
added generation of dot dependency graph
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 17:23:10 +0000 (17:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 17:23:10 +0000 (17:23 +0000)
helm/uwobo/src/ocaml/Makefile

index 0e64660695ae254ce4ea4d7cffd6e89d8add7531..c586dba2c68309772f13221f016c6ee11baef78a 100644 (file)
@@ -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      \