From 3b474f79f82bcf242a68cf797e109fc2a045e69d Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Sun, 19 Jan 2014 19:01:48 +0100 Subject: Using full paths in coqdep -dumpgraph. --- tools/coqdep.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/coqdep.ml b/tools/coqdep.ml index 8ede756cc..17e56bc63 100644 --- a/tools/coqdep.ml +++ b/tools/coqdep.ml @@ -425,8 +425,8 @@ let coq_dependencies_dump chan dumpboxes = in fprintf chan "digraph dependencies {\n"; flush chan; if dumpboxes then print_graphs chan (pop_common_prefix graphs) - else List.iter (fun (name, _) -> fprintf chan "%s\n" (basename_noext name)) !vAccu; - DAG.iter (fun name dep -> fprintf chan "%s -> %s\n" (basename_noext dep) (basename_noext name)) deps; + else List.iter (fun (name, _) -> fprintf chan "\"%s\"[label=\"%s\"]\n" name (basename_noext name)) !vAccu; + DAG.iter (fun name dep -> fprintf chan "\"%s\" -> \"%s\"\n" dep name) deps; fprintf chan "}\n" end -- cgit v1.2.3