diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 9 insertions, 6 deletions
@@ -6,16 +6,19 @@ OBJECTS = $(OBJECTST) $(OBJECTSA) 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 --allow-unsolved-metas --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 $@ @@ -29,7 +32,7 @@ idris-proposal.pdf: idris-proposal.tex 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 |