1 SOURCEST = $(wildcard *.tex)
2 OBJECTST = $(patsubst %.tex, %.pdf, $(SOURCEST))
3 SOURCESA = $(wildcard *.lagda)
4 OBJECTSA = $(patsubst %.lagda, %.pdf, $(SOURCESA))
5 OBJECTS = $(OBJECTST) $(OBJECTSA)
9 final.pdf: final.tex final.bib agda.sty
10 pdflatex -halt-on-error $< -o $@
12 pdflatex -halt-on-error $< -o $@
13 pdflatex -halt-on-error $< -o $@
15 presentation.pdf: presentation.tex
16 pdflatex -halt-on-error $< -o $@
20 final.tex: final.lagda
21 agda --allow-unsolved-metas --latex --latex-dir . -i . -i ~/src/agda-lib/src/ final.lagda
23 InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda
24 xelatex -halt-on-error $< -o $@
26 xelatex -halt-on-error $< -o $@
27 xelatex -halt-on-error $< -o $@
29 idris-proposal.pdf: idris-proposal.tex
30 xelatex -halt-on-error $< -o $@
31 xelatex -halt-on-error $< -o $@
38 rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai