]> matita.cs.unibo.it Git - helm.git/commitdiff
Added the new target $(PACKAGE).ps to draw the dependency graph of the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Jun 2003 13:44:53 +0000 (13:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Jun 2003 13:44:53 +0000 (13:44 +0000)
package.

helm/ocaml/Makefile.common.in

index 42015d622c7869c5eb815da053fcef4f3038af49..47d02bb42867c70452ca921eb451bf96ff4d26f6 100644 (file)
@@ -40,6 +40,12 @@ opt: $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(ARCHIVE_OPT)
 depend: $(DEPEND_FILES)
        $(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend
 
+$(PACKAGE).ps: .dep.dot
+       dot -Tps -o $@ $<
+
+.dep.dot: .depend
+       ocamldot < .depend > $@
+
 .SUFFIXES: .ml .mli .cmo .cmi .cmx .mll .mly
 .ml.cmo:
        $(OCAMLC) -c $<