You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
147 lines
3.2 KiB
147 lines
3.2 KiB
(rule
|
|
(targets main.pdf)
|
|
(deps
|
|
article.tex
|
|
figure_ocaml_bit1.mps
|
|
figure_ocaml_bit2.mps
|
|
figure_ocaml_bit3.mps
|
|
figure_java_layout.mps
|
|
figure_ocaml_layout.mps
|
|
figure_python_layout.mps
|
|
figure_python_layout2.mps
|
|
figure_wasm_layout.mps
|
|
figure_python_block1.mps
|
|
figure_python_block2.mps
|
|
figure_ocaml_float1.mps
|
|
figure_ocaml_float2.mps
|
|
forbidden.java
|
|
layout.java
|
|
layout.ml
|
|
layout.py
|
|
layout.wast
|
|
list.preprocessed.c
|
|
list.d
|
|
list_int.d
|
|
main.bbl
|
|
main.tex
|
|
ral.fsx
|
|
ral.rs
|
|
styledef.tex)
|
|
(action
|
|
(progn
|
|
(run rm main.aux)
|
|
(pipe-outputs
|
|
(run texfot xelatex -halt-on-error -shell-escape main.tex)
|
|
(run sed "/\\/usr\\/bin\\/texfot:/d")
|
|
(run sed "/This is XeTeX/d")
|
|
(run sed "/LaTeX Warning: There were undefined references/d")
|
|
(run sed "/Package biblatex Warning/d")
|
|
(run sed "/Output written/d"))
|
|
(pipe-outputs
|
|
(run texfot xelatex -halt-on-error -shell-escape main.tex)
|
|
(run sed "/\\/usr\\/bin\\/texfot:/d")
|
|
(run sed "/This is XeTeX/d")
|
|
(run sed "/LaTeX Warning: There were undefined references/d")
|
|
(run sed "/Package biblatex Warning/d")
|
|
(run sed "/Output written/d")))))
|
|
|
|
(rule
|
|
(targets main.bbl)
|
|
(deps bib.bib main.aux)
|
|
(action
|
|
(run bibtex main)))
|
|
|
|
(rule
|
|
(targets main.aux)
|
|
(deps
|
|
article.tex
|
|
bib.bib
|
|
figure_ocaml_bit1.mps
|
|
figure_ocaml_bit2.mps
|
|
figure_ocaml_bit3.mps
|
|
figure_java_layout.mps
|
|
figure_ocaml_float1.mps
|
|
figure_ocaml_float2.mps
|
|
figure_ocaml_layout.mps
|
|
figure_python_layout.mps
|
|
figure_python_layout2.mps
|
|
figure_wasm_layout.mps
|
|
figure_python_block1.mps
|
|
figure_python_block2.mps
|
|
forbidden.java
|
|
layout.java
|
|
layout.ml
|
|
layout.py
|
|
layout.wast
|
|
list.preprocessed.c
|
|
list.d
|
|
list_int.d
|
|
main.tex
|
|
ral.fsx
|
|
ral.rs
|
|
styledef.tex)
|
|
(action
|
|
(progn
|
|
(run texfot xelatex -halt-on-error -shell-escape main.tex)
|
|
(pipe-outputs
|
|
(run texfot xelatex -halt-on-error -shell-escape main.tex)
|
|
(run sed "/\\/usr\\/bin\\/texfot:/d")
|
|
(run sed "/This is XeTeX/d")
|
|
(run sed "/Package hyperref/d")
|
|
(run sed "/LaTeX Font Warning:/d")
|
|
(run sed "/(Font)/d")
|
|
(run sed "/LaTeX Warning: Empty bibliography/d")
|
|
(run sed "/LaTeX Warning: There were undefined citations/d")
|
|
(run sed "/LaTeX Warning: Citation/d")
|
|
(run sed "/Package rerunfilecheck/d")
|
|
(run sed "/Package biblatex Warning:/d")
|
|
(run sed "/Output written/d")))))
|
|
|
|
(rule
|
|
(targets styledef.tex)
|
|
(deps get_style_def.py)
|
|
(action
|
|
(with-stdout-to
|
|
%{targets}
|
|
(run python get_style_def.py))))
|
|
|
|
(rule
|
|
(targets list.preprocessed.c)
|
|
(deps list.c)
|
|
(action
|
|
(with-stdout-to
|
|
%{targets}
|
|
(run cpp -P list.c))))
|
|
|
|
(rule
|
|
(targets list_int.d)
|
|
(deps list.d)
|
|
(action
|
|
(run gdc -c %{deps} -fsave-mixins=list_int.d)))
|
|
|
|
(library
|
|
(name figures)
|
|
(modules figures)
|
|
(libraries mlpost))
|
|
|
|
(rule
|
|
(targets
|
|
figure_ocaml_bit1.mps
|
|
figure_ocaml_bit2.mps
|
|
figure_ocaml_bit3.mps
|
|
figure_ocaml_float1.mps
|
|
figure_ocaml_float2.mps
|
|
figure_python_block1.mps
|
|
figure_python_block2.mps
|
|
figure_java_layout.mps
|
|
figure_ocaml_layout.mps
|
|
figure_python_layout.mps
|
|
figure_python_layout2.mps
|
|
figure_wasm_layout.mps)
|
|
(deps figures.ml)
|
|
(action
|
|
(run mlpost %{deps})))
|
|
|
|
(library
|
|
(name layout)
|
|
(modules layout))
|
|
|