git.iko.soy/Idris-dev
on 12bd089 help sign in
Idris-dev/impl-paper/Makefile
42 lines 757 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
8DIAGS =
10SOURCES = ${TEXFILES} ${DIAGS} macros.ltx literature.bib
12DITAA = java -jar ~/Downloads/ditaa.jar
14${PAPER}.pdf: ${SOURCES}
15# dvipdf ${PAPER}.dvi
16 pdflatex ${PAPER}
17 -bibtex ${PAPER}
18 -pdflatex ${PAPER}
19 -pdflatex ${PAPER}
21${PAPER}.ps: ${PAPER}.dvi
22 dvips -o ${PAPER}.ps ${PAPER}
24${PAPER}.dvi: $(SOURCES)
25 -latex ${PAPER}
26 -bibtex ${PAPER}
27 -latex ${PAPER}
28 -latex ${PAPER}
30progress: .PHONY
31 wc -w ${TEXFILES}
33%.png : %.diag
34 $(DITAA) -o -E $<
36todropbox: .PHONY
37 cp ${SOURCES} ~/Dropbox/TeX/ImplDTP/
39fromdropbox: .PHONY
40 cp ~/Dropbox/TeX/ImplDTP/* .
42.PHONY: