diff options
| author | Francesco Mazzoli <f@mazzo.li> | 2013-06-22 17:06:40 +0100 |
|---|---|---|
| committer | Francesco Mazzoli <f@mazzo.li> | 2013-06-22 17:06:40 +0100 |
| commit | ebdf439a201d6fda0780284fc7f49b1f8deb88ab (patch) | |
| tree | 1ebddc3dbb12e9fef81ea885ef2e4b76d6a6a640 /Makefile | |
| parent | 7e1d2c79545c573617ccedf458ba11bda1cc3eb8 (diff) | |
...
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 |