git.iko.soy/Idris-dev
on fa5f1cd help sign in
Idris-dev/impl-paper/Makefile
43 lines 773 B history raw
1PAPER = impldtp
3all: ${PAPER}.pdf
5TEXFILES = ${PAPER}.tex intro.tex conclusions.tex overview.tex hll.tex\
6 typechecking.tex proofstate.tex elaboration.tex compiling.tex\
7 syntax.tex
9DIAGS =
11SOURCES = ${TEXFILES} ${DIAGS} macros.ltx literature.bib
13DITAA = java -jar ~/Downloads/ditaa.jar
15${PAPER}.pdf: ${SOURCES}
16# dvipdf ${PAPER}.dvi
17 pdflatex ${PAPER}
18 -bibtex ${PAPER}
19 -pdflatex ${PAPER}
20 -pdflatex ${PAPER}
22${PAPER}.ps: ${PAPER}.dvi
23 dvips -o ${PAPER}.ps ${PAPER}
25${PAPER}.dvi: $(SOURCES)
26 -latex ${PAPER}
27 -bibtex ${PAPER}
28 -latex ${PAPER}
29 -latex ${PAPER}
31progress: .PHONY
32 wc -w ${TEXFILES}
34%.png : %.diag
35 $(DITAA) -o -E $<
37todropbox: .PHONY
38 cp ${SOURCES} ~/Dropbox/TeX/ImplDTP/
40fromdropbox: .PHONY
41 cp ~/Dropbox/TeX/ImplDTP/* .
43.PHONY: