...

[bitonic-mengthesis.git] / Makefile

diff --git a/Makefile b/Makefile
index 1514e88cf2741abbd5f9c77161b022105733f89e..3fd7f1daf22b6ef19ddb800b6214f01ad5a41583 100644 (file)
--- 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