...

[bitonic-mengthesis.git] / Makefile

diff --git a/Makefile b/Makefile
index ad3f550125f36e7e0baefe060566d280df3cd9ed..3fd7f1daf22b6ef19ddb800b6214f01ad5a41583 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -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 --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,8 +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
-