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
|
; Generated by gen_dune.ml
(rule (targets ps_radar1.mps ps_radar2.mps) (deps radar.exe) (action (run ./radar.exe -ps -prefix "ps_")))
(rule (targets mps_radar1.mps mps_radar2.mps) (deps radar.exe) (action (run ./radar.exe -mps -prefix "mps_")))
(rule (targets png_cairo_radar1.png png_cairo_radar2.png) (deps radar.exe) (action (run ./radar.exe -png -cairo -prefix "png_cairo_")))
(rule (targets pdf_cairo_radar1.pdf pdf_cairo_radar2.pdf) (deps radar.exe) (action (run ./radar.exe -pdf -cairo -prefix "pdf_cairo_")))
(rule (targets svg_cairo_radar1.svg svg_cairo_radar2.svg) (deps radar.exe) (action (run ./radar.exe -svg -cairo -prefix "svg_cairo_")))
(rule (targets pgf_radar1.pgf pgf_radar2.pgf) (deps radar.exe) (action (run ./radar.exe -pgf -prefix "pgf_")))
(rule (targets pdf_cairo_radar1.png) (deps pdf_cairo_radar1.pdf) (action (run pdftoppm %{deps} pdf_cairo_radar1 -png -singlefile)))
(rule (targets pdf_cairo_radar2.png) (deps pdf_cairo_radar2.pdf) (action (run pdftoppm %{deps} pdf_cairo_radar2 -png -singlefile)))
(rule (targets mps_radar1.png) (deps mps_radar1.pdf) (action (run pdftoppm %{deps} mps_radar1 -png -singlefile)))
(rule (targets mps_radar2.png) (deps mps_radar2.pdf) (action (run pdftoppm %{deps} mps_radar2 -png -singlefile)))
(rule (targets ps_radar1.png) (deps ps_radar1.pdf) (action (run pdftoppm %{deps} ps_radar1 -png -singlefile)))
(rule (targets ps_radar2.png) (deps ps_radar2.pdf) (action (run pdftoppm %{deps} ps_radar2 -png -singlefile)))
(rule (targets pgf_radar1.png) (deps pgf_radar1.pdf) (action (run pdftoppm %{deps} pgf_radar1 -png -singlefile)))
(rule (targets pgf_radar2.png) (deps pgf_radar2.pdf) (action (run pdftoppm %{deps} pgf_radar2 -png -singlefile)))
(rule (targets mps_radar1.pdf) (deps mps_radar1.mps) (action (ignore-outputs (run pdftex -halt-on-error -fmt=mptopdf \relax mps_radar1.mps))))
(rule (targets mps_radar2.pdf) (deps mps_radar2.mps) (action (ignore-outputs (run pdftex -halt-on-error -fmt=mptopdf \relax mps_radar2.mps))))
(rule (targets ps_radar1.pdf) (deps ps_radar1.mps) (action (ignore-outputs (run pdftex -halt-on-error -fmt=mptopdf \relax ps_radar1.mps))))
(rule (targets ps_radar2.pdf) (deps ps_radar2.mps) (action (ignore-outputs (run pdftex -halt-on-error -fmt=mptopdf \relax ps_radar2.mps))))
(rule (targets pgf_radar1.pdf) (deps pgf.template pgf_radar1.pgf) (action (ignore-outputs (run pdflatex -halt-on-error -jobname pgf_radar1 "\\def\\filetoconvert{pgf_radar1.pgf}\\input{pgf.template}"))))
(rule (targets pgf_radar2.pdf) (deps pgf.template pgf_radar2.pgf) (action (ignore-outputs (run pdflatex -halt-on-error -jobname pgf_radar2 "\\def\\filetoconvert{pgf_radar2.pgf}\\input{pgf.template}"))))
(alias (name radar) (deps ps_radar1.png ps_radar2.png mps_radar1.png mps_radar2.png png_cairo_radar1.png png_cairo_radar2.png pdf_cairo_radar1.png pdf_cairo_radar2.png svg_cairo_radar1.svg svg_cairo_radar2.svg pgf_radar1.png pgf_radar2.png))
(alias (name runtest) (deps (alias radar)))
|
