From a9e25d7cea5d3b85600a43c4a0bf8ead5ecb724e Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 25 Sep 2012 16:58:28 +0000
Subject: Added a ml-dot option to Makefile to generate dependency graph of
 core modules

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15832 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile.build b/Makefile.build
index a3c706e4b4..41d0fc18aa 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -673,6 +673,10 @@ mli-doc:: $(DOCMLIS:.mli=.cmi)
 	-t "Coq mlis documentation" -intro $(OCAMLDOCDIR)/docintro \
 	-css-style style.css
 
+ml-dot:: $(MLEXTRAFILES)
+	$(OCAMLDOC) -dot -dot-reduce -rectypes -I $(CAMLLIB) -I $(MYCAMLP4LIB) $(MLINCLUDES)\
+	$(filter $(addsuffix /%.ml,$(CORESRCDIRS)),$(MLFILES)) -o $(OCAMLDOCDIR)/coq.dot
+
 %_dep.png: %.dot
 	$(DOT) -Tpng $< -o $@
 
-- 
cgit v1.2.3