X-Git-Url: https://git.enpas.org/?a=blobdiff_plain;f=Makefile;h=3fd7f1daf22b6ef19ddb800b6214f01ad5a41583;hb=HEAD;hp=a5e8cc68ae0549670fbabfce16724677363d55b7;hpb=5bbbffc580f28704da849395f8fc722e01cc1c45;p=bitonic-mengthesis.git

diff --git a/Makefile b/Makefile
index a5e8cc6..3fd7f1d 100644
--- 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,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