1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
; Generated by gen_dune.ml
(rule (targets ps_automata1.mps ps_automata2.mps ps_automata4.mps) (deps automata.exe) (action (run ./automata.exe -ps -prefix "ps_")))
(rule (targets mps_automata1.mps mps_automata2.mps mps_automata4.mps) (deps automata.exe) (action (run ./automata.exe -mps -prefix "mps_")))
(rule (targets png_cairo_automata1.png png_cairo_automata2.png png_cairo_automata4.png) (deps automata.exe) (action (run ./automata.exe -png -cairo -prefix "png_cairo_")))
(rule (targets pdf_cairo_automata1.pdf pdf_cairo_automata2.pdf pdf_cairo_automata4.pdf) (deps automata.exe) (action (run ./automata.exe -pdf -cairo -prefix "pdf_cairo_")))
(rule (targets svg_cairo_automata1.svg svg_cairo_automata2.svg svg_cairo_automata4.svg) (deps automata.exe) (action (run ./automata.exe -svg -cairo -prefix "svg_cairo_")))
(rule (targets pgf_automata1.pgf pgf_automata2.pgf pgf_automata4.pgf) (deps automata.exe) (action (run ./automata.exe -pgf -prefix "pgf_")))
(rule (targets pdf_cairo_automata1.png) (deps pdf_cairo_automata1.pdf) (action (run pdftoppm %{deps} pdf_cairo_automata1 -png -singlefile)))
(rule (targets pdf_cairo_automata2.png) (deps pdf_cairo_automata2.pdf) (action (run pdftoppm %{deps} pdf_cairo_automata2 -png -singlefile)))
(rule (targets pdf_cairo_automata4.png) (deps pdf_cairo_automata4.pdf) (action (run pdftoppm %{deps} pdf_cairo_automata4 -png -singlefile)))
(rule (targets mps_automata1.png) (deps mps_automata1.pdf) (action (run pdftoppm %{deps} mps_automata1 -png -singlefile)))
(rule (targets mps_automata2.png) (deps mps_automata2.pdf) (action (run pdftoppm %{deps} mps_automata2 -png -singlefile)))
(rule (targets mps_automata4.png) (deps mps_automata4.pdf) (action (run pdftoppm %{deps} mps_automata4 -png -singlefile)))
(rule (targets ps_automata1.png) (deps ps_automata1.pdf) (action (run pdftoppm %{deps} ps_automata1 -png -singlefile)))
(rule (targets ps_automata2.png) (deps ps_automata2.pdf) (action (run pdftoppm %{deps} ps_automata2 -png -singlefile)))
(rule (targets ps_automata4.png) (deps ps_automata4.pdf) (action (run pdftoppm %{deps} ps_automata4 -png -singlefile)))
(rule (targets pgf_automata1.png) (deps pgf_automata1.pdf) (action (run pdftoppm %{deps} pgf_automata1 -png -singlefile)))
(rule (targets pgf_automata2.png) (deps pgf_automata2.pdf) (action (run pdftoppm %{deps} pgf_automata2 -png -singlefile)))
(rule (targets pgf_automata4.png) (deps pgf_automata4.pdf) (action (run pdftoppm %{deps} pgf_automata4 -png -singlefile)))
(rule (targets mps_automata1.pdf) (deps mps_automata1.mps) (action (ignore-outputs (run pdftex -halt-on-error -fmt=mptopdf \relax mps_automata1.mps))))
(rule (targets mps_automata2.pdf) (deps mps_automata2.mps) (action (ignore-outputs (run pdftex -halt-on-error -fmt=mptopdf \relax mps_automata2.mps))))
(rule (targets mps_automata4.pdf) (deps mps_automata4.mps) (action (ignore-outputs (run pdftex -halt-on-error -fmt=mptopdf \relax mps_automata4.mps))))
(rule (targets ps_automata1.pdf) (deps ps_automata1.mps) (action (ignore-outputs (run pdftex -halt-on-error -fmt=mptopdf \relax ps_automata1.mps))))
(rule (targets ps_automata2.pdf) (deps ps_automata2.mps) (action (ignore-outputs (run pdftex -halt-on-error -fmt=mptopdf \relax ps_automata2.mps))))
(rule (targets ps_automata4.pdf) (deps ps_automata4.mps) (action (ignore-outputs (run pdftex -halt-on-error -fmt=mptopdf \relax ps_automata4.mps))))
(rule (targets pgf_automata1.pdf) (deps pgf.template pgf_automata1.pgf) (action (ignore-outputs (run pdflatex -halt-on-error -jobname pgf_automata1 "\\def\\filetoconvert{pgf_automata1.pgf}\\input{pgf.template}"))))
(rule (targets pgf_automata2.pdf) (deps pgf.template pgf_automata2.pgf) (action (ignore-outputs (run pdflatex -halt-on-error -jobname pgf_automata2 "\\def\\filetoconvert{pgf_automata2.pgf}\\input{pgf.template}"))))
(rule (targets pgf_automata4.pdf) (deps pgf.template pgf_automata4.pgf) (action (ignore-outputs (run pdflatex -halt-on-error -jobname pgf_automata4 "\\def\\filetoconvert{pgf_automata4.pgf}\\input{pgf.template}"))))
(alias (name automata) (deps ps_automata1.png ps_automata2.png ps_automata4.png mps_automata1.png mps_automata2.png mps_automata4.png png_cairo_automata1.png png_cairo_automata2.png png_cairo_automata4.png pdf_cairo_automata1.png pdf_cairo_automata2.png pdf_cairo_automata4.png svg_cairo_automata1.svg svg_cairo_automata2.svg svg_cairo_automata4.svg pgf_automata1.png pgf_automata2.png pgf_automata4.png))
(alias (name runtest) (deps (alias automata)))
|
