SOURCEST = $(wildcard *.tex) OBJECTST = $(patsubst %.tex, %.pdf, $(SOURCEST)) SOURCESA = $(wildcard *.lagda) OBJECTSA = $(patsubst %.lagda, %.pdf, $(SOURCESA)) OBJECTS = $(OBJECTST) $(OBJECTSA) all: $(OBJECTS) thesis.pdf: thesis.tex thesis.bib agda.sty pdflatex -halt-on-error $< -o $@ bibtex thesis pdflatex -halt-on-error $< -o $@ pdflatex -halt-on-error $< -o $@ agda.sty: thesis.tex thesis.tex: thesis.lagda agda --allow-unsolved-metas --latex --latex-dir . -i . -i ~/src/agda-lib/src/ thesis.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 thesis.tex agda.sty cleanup: rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai