SOURCEST = $(wildcard *.tex)
OBJECTST = $(patsubst %.tex, %.pdf, $(SOURCEST))
SOURCESA = $(wildcard *.lagda)
OBJECTSA = $(patsubst %.lagda, %.pdf, $(SOURCESA))
OBJECTS = $(OBJECTST) $(OBJECTSA)

all: $(OBJECTS)

final.pdf: final.tex final.bib agda.sty
	pdflatex -halt-on-error $< -o $@
	bibtex final
	pdflatex -halt-on-error $< -o $@
	pdflatex -halt-on-error $< -o $@

presentation.pdf: presentation.tex
	pdflatex -halt-on-error $< -o $@

agda.sty: final.tex

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 $@
	bibtex InterimReport
	xelatex -halt-on-error $< -o $@
	xelatex -halt-on-error $< -o $@

idris-proposal.pdf: idris-proposal.tex 
	xelatex -halt-on-error $< -o $@
	xelatex -halt-on-error $< -o $@

clean: cleanup
	rm -f $(OBJECTS)
	rm -f final.tex

cleanup:
	rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai