more progress

[bitonic-mengthesis.git] / Makefile

diff --git a/Makefile b/Makefile
index a5e8cc68ae0549670fbabfce16724677363d55b7..d807c24992537679a5ee4a2add20e12df99bdb1c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@ thesis.pdf: thesis.tex thesis.bib agda.sty
 agda.sty: thesis.tex
 
 thesis.tex: thesis.lagda
-       agda --latex --latex-dir . -i . -i ~/src/agda-lib/src/ thesis.lagda
+       agda --allow-unsolved-metas --latex --latex-dir . -i . -i ~/src/agda-lib/src/ thesis.lagda
 
 InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda
        xelatex -halt-on-error $< -o $@