diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-01-19 19:01:48 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-01-19 19:01:48 +0100 |
| commit | 3b474f79f82bcf242a68cf797e109fc2a045e69d (patch) | |
| tree | 9a9505eed3c6f2ca2014a6c1f38f90af9da8a7ce /tools/coqdep.ml | |
| parent | e37201c6ca30e576fce2a548b2a9d2bd5363567f (diff) | |
Using full paths in coqdep -dumpgraph.
Diffstat (limited to 'tools/coqdep.ml')
| -rw-r--r-- | tools/coqdep.ml | 4 |
1 files 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 |