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