all: $(OBJECTS)
-thesis.pdf: thesis.tex thesis.bib agda.sty
+final.pdf: final.tex final.bib agda.sty
pdflatex -halt-on-error $< -o $@
- bibtex thesis
+ bibtex final
pdflatex -halt-on-error $< -o $@
pdflatex -halt-on-error $< -o $@
-agda.sty: thesis.tex
+presentation.pdf: presentation.tex
+ pdflatex -halt-on-error $< -o $@
+
+agda.sty: final.tex
-thesis.tex: thesis.lagda
- agda --latex --latex-dir . -i . -i ~/src/agda-lib/src/ thesis.lagda
+final.tex: final.lagda
+ agda --allow-unsolved-metas --latex --latex-dir . -i . -i ~/src/agda-lib/src/ final.lagda
InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda
xelatex -halt-on-error $< -o $@
clean: cleanup
rm -f $(OBJECTS)
- rm -f thesis.tex agda.sty
+ rm -f final.tex
cleanup:
rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai
-