Commit 04501f09 authored by Benoit Viguier's avatar Benoit Viguier
Browse files

add graph

parent 0076f329
...@@ -22,8 +22,8 @@ _CoqProject ...@@ -22,8 +22,8 @@ _CoqProject
*# *#
.#* .#*
*.aux *.aux
graph.dpd *.dpd
graph.png gen_graph*
*.bck *.bck
*.bak *.bak
......
...@@ -4,12 +4,12 @@ clean:: ...@@ -4,12 +4,12 @@ clean::
$(HIDE)rm */.*.aux 2> /dev/null || true $(HIDE)rm */.*.aux 2> /dev/null || true
$(HIDE)rm */*.glob 2> /dev/null || true $(HIDE)rm */*.glob 2> /dev/null || true
$(HIDE)rm */*.v.d 2> /dev/null || true $(HIDE)rm */*.v.d 2> /dev/null || true
$(HIDE)rm graph.dpd 2> /dev/null || true $(HIDE)rm *.dpd 2> /dev/null || true
$(HIDE)rm graph.png 2> /dev/null || true
DPD = $(wildcard *.dpd) DPD = $(wildcard *.dpd)
DOT = $(DPD:%.dpd=%.dot) DOT = $(DPD:%.dpd=%.dot)
PNG = $(DPD:%.dpd=%.png) PNG = $(DPD:%.dpd=%.png)
PDF = $(DPD:%.dpd=%.pdf)
%.dot: %.dpd %.dot: %.dpd
dpd2dot $< dpd2dot $<
...@@ -17,4 +17,8 @@ PNG = $(DPD:%.dpd=%.png) ...@@ -17,4 +17,8 @@ PNG = $(DPD:%.dpd=%.png)
%.png: %.dot %.png: %.dot
dot -Tpng $< -o $@ dot -Tpng $< -o $@
%.pdf: %.dot
dot -Tpdf $< -o $@
graph: $(PNG) graph: $(PNG)
pdf: $(PDF)
...@@ -26,7 +26,7 @@ def main(): ...@@ -26,7 +26,7 @@ def main():
output = requires + '\n' output = requires + '\n'
output += 'Require dpdgraph.dpdgraph.\n' output += 'Require dpdgraph.dpdgraph.\n'
output += 'Set DependGraph File "graph.dpd".\n' output += 'Set DependGraph File "main.dpd".\n'
output += prints + '.\n' output += prints + '.\n'
# print(list_parse) # print(list_parse)
print(output) print(output)
...@@ -49,7 +49,7 @@ def main(): ...@@ -49,7 +49,7 @@ def main():
output = requires + '\n' output = requires + '\n'
output += 'Require dpdgraph.dpdgraph.\n' output += 'Require dpdgraph.dpdgraph.\n'
output += 'Set DependGraph File "graph.dpd".\n' output += 'Set DependGraph File "high.dpd".\n'
output += prints + '.\n' output += prints + '.\n'
# print(list_parse) # print(list_parse)
print(output) print(output)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment