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

diff --git a/Makefile b/Makefile
index 1514e88..3fd7f1d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,25 @@
-SOURCES = $(wildcard *.tex)
-OBJECTS = $(patsubst %.tex, %.pdf, $(SOURCES))
+SOURCEST = $(wildcard *.tex)
+OBJECTST = $(patsubst %.tex, %.pdf, $(SOURCEST))
+SOURCESA = $(wildcard *.lagda)
+OBJECTSA = $(patsubst %.lagda, %.pdf, $(SOURCESA))
+OBJECTS = $(OBJECTST) $(OBJECTSA)
 
 all: $(OBJECTS)
 
+final.pdf: final.tex final.bib agda.sty
+	pdflatex -halt-on-error $< -o $@
+	bibtex final
+	pdflatex -halt-on-error $< -o $@
+	pdflatex -halt-on-error $< -o $@
+
+presentation.pdf: presentation.tex
+	pdflatex -halt-on-error $< -o $@
+
+agda.sty: final.tex
+
+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 $@
 	bibtex InterimReport
@@ -15,6 +32,7 @@ idris-proposal.pdf: idris-proposal.tex
 
 clean: cleanup
 	rm -f $(OBJECTS)
+	rm -f final.tex
 
 cleanup:
-	rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg
+	rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai