39 lines
745 B
Plaintext
39 lines
745 B
Plaintext
(rule
|
|
(alias graphs)
|
|
(deps
|
|
../scripts/gen_graphs.py
|
|
../scripts/extract_metadata.py
|
|
(source_tree ../theory))
|
|
(targets
|
|
theorems.json
|
|
dependency-overview.dot
|
|
dependency-overview.svg
|
|
dependency-overview.png
|
|
dependency-M1.dot
|
|
dependency-M1.svg
|
|
dependency-M1.png
|
|
dependency-M2.dot
|
|
dependency-M2.svg
|
|
dependency-M2.png
|
|
dependency-M3.dot
|
|
dependency-M3.svg
|
|
dependency-M3.png
|
|
dependency-M4.dot
|
|
dependency-M4.svg
|
|
dependency-M4.png
|
|
dependency-M5.dot
|
|
dependency-M5.svg
|
|
dependency-M5.png
|
|
rules.dot
|
|
rules.svg
|
|
rules.png
|
|
reduction.dot
|
|
reduction.svg
|
|
reduction.png)
|
|
(mode promote)
|
|
(action
|
|
(run python3 ../scripts/gen_graphs.py
|
|
--outdir .
|
|
--meta theorems.json
|
|
--theory ../theory)))
|